All pull requests

Pull requests

• RFC-0011: Formal Verification of Kimchi and Pickles in Lean 4

  #50·MavenRain opened Mar 25, 2026·

  ·

• RFC introspector system integration

  #42·jmikedupont2 opened Aug 19, 2024·

  ·

• Create RFC-00014: Atlaspad Launchpad

  #38·berkcicekk opened Jul 15, 2024·

  ·
  5

• RFC-0010: ZK Passport

  #36·chad11111 opened Jul 2, 2024·

  ·
  2

• RFC-0009: Private Credential Standard

  #34·chad11111 opened Jul 1, 2024·

  ·
  2

• RFC-0013: Soulboud Token Standard

  Ecosystem Advancement
  #25·kantp opened Feb 15, 2024Contributor·

  ·
  2

  

• RFC-0011: Liquid Staking on Mina

  #23·45930 opened Feb 13, 2024·

  ·
  9

  

• RFC 0009: Wallet API - Storing & Requesting Objects

  Ecosystem Advancement
  #12·teddyjfpender opened Jan 15, 2024Contributor·

  ·
  12

• RFC-0007: zkPassport

  Ecosystem Advancement
  #11·es92 opened Jan 8, 2024·

  ·
  103

• RFC-0006: Review and Redesign of Mina's Tokenomics post Hardfork

  Protocol Governance
  #10·lampardlamps opened Dec 26, 2023·

  ·
  6

  

• RFC-0005: Protocol Upgrade to Enable Automatic Distribution of Delegation Rewards

  #9·lampardlamps opened Dec 26, 2023·

  ·
  30