zksecurity / mina-attestationsView external linksLinks
Private Attestations for Mina wallets
☆16Sep 24, 2025Updated 4 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 9 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Nov 6, 2025Updated 3 months ago
- ☆21Jan 3, 2025Updated last year
- Progressive Mina Protocol Wallet☆32Sep 4, 2025Updated 5 months ago
- ☆14Dec 26, 2024Updated last year
- A project for verifying user's age in websites☆13Mar 4, 2024Updated last year
- ☆14Jun 18, 2025Updated 7 months ago
- A zkApp based staking pool for MINA☆15May 8, 2023Updated 2 years ago
- ☆60Updated this week
- The Mina Rust node is an implementation in Rust of the Mina Protocol☆119Feb 6, 2026Updated last week
- A curated list of awesome things related to learning Binius☆16Jan 9, 2025Updated last year
- ☆20Jun 20, 2025Updated 7 months ago
- ☆20Nov 3, 2025Updated 3 months ago
- ☆21Mar 6, 2025Updated 11 months ago
- zkvot - World's first fully live anonymous voting application!☆23Mar 23, 2025Updated 10 months ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆23Oct 7, 2025Updated 4 months ago
- stone-cli is a CLI for proving and verifying Cairo programs.☆24Aug 7, 2025Updated 6 months ago
- STARK book☆20Sep 25, 2024Updated last year
- A toolchain for interaction with the Proof Market protocol.☆23Jan 5, 2024Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Feb 6, 2024Updated 2 years ago
- ☆29Aug 19, 2024Updated last year
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 7 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
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆44Updated this week
- A repo of example Noir projects.☆75Feb 6, 2026Updated last week
- ☆30Sep 19, 2022Updated 3 years ago
- Proof system backends for OpenVM.☆34Updated this week
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆141Feb 6, 2026Updated last week
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 5 months ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- First decentralized & private Battleships game on Solana. Honorable Mention recognition in Solana Grizzlython Hackathon☆31Mar 20, 2023Updated 2 years ago
- Rust implementation of KZG point evaluation☆35Feb 5, 2026Updated last week
- Fiat-Shamir for the masses.☆87Dec 27, 2025Updated last month
- A compressed NFT mint program on Solana.☆32Jun 30, 2024Updated last year
- Noname: a programming language to write zkapps☆230Feb 5, 2026Updated last week