Private Attestations for Mina wallets
☆16Sep 24, 2025Updated 5 months ago
Alternatives and similar repositories for mina-attestations
Users that are interested in mina-attestations are comparing it to the libraries listed below
Sorting:
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Apr 25, 2025Updated 10 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Nov 6, 2025Updated 4 months ago
- ☆21Jan 3, 2025Updated last year
- Progressive Mina Protocol Wallet☆32Sep 4, 2025Updated 6 months ago
- ☆14Dec 26, 2024Updated last year
- ☆14Jun 18, 2025Updated 8 months ago
- A project for verifying user's age in websites☆13Mar 4, 2024Updated 2 years ago
- A zkApp based staking pool for MINA☆15May 8, 2023Updated 2 years ago
- ☆61Updated this week
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆120Feb 19, 2026Updated 2 weeks ago
- ☆20Jun 20, 2025Updated 8 months ago
- A curated list of awesome things related to learning Binius☆17Jan 9, 2025Updated last year
- ☆20Nov 3, 2025Updated 4 months ago
- ☆21Mar 6, 2025Updated last year
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 11 months ago
- STARK book☆20Sep 25, 2024Updated last year
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆22Oct 7, 2025Updated 4 months ago
- stone-cli is a CLI for proving and verifying Cairo programs.☆24Aug 7, 2025Updated 6 months ago
- A toolchain for interaction with the Proof Market protocol.☆23Jan 5, 2024Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆28Feb 27, 2026Updated last week
- ☆29Aug 19, 2024Updated last year
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 8 months ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- A repo of example Noir projects.☆76Feb 6, 2026Updated last month
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆46Updated this week
- ☆26Apr 15, 2025Updated 10 months ago
- Proof system backends for OpenVM.☆34Updated this week
- ☆30Sep 19, 2022Updated 3 years ago
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆76Dec 11, 2025Updated 2 months ago
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 6 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆142Feb 22, 2026Updated last week
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆209Jun 8, 2024Updated last year
- First decentralized & private Battleships game on Solana. Honorable Mention recognition in Solana Grizzlython Hackathon☆31Mar 20, 2023Updated 2 years ago