NilFoundation / mina-state-proof
In-EVM Mina State Verification
☆82Updated last year
Alternatives and similar repositories for mina-state-proof:
Users that are interested in mina-state-proof are comparing it to the libraries listed below
- ☆72Updated last year
- New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau☆135Updated 4 months ago
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆30Updated 2 years ago
- Configurable Asset Privacy☆34Updated last year
- ☆79Updated 4 years ago
- This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully beco…☆57Updated last year
- Circom circuits used by the iden3 core protocol.☆89Updated last month
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆74Updated 2 weeks ago
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆21Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆91Updated last month
- Specs for Ethereum's KZG Powers of Tau Ceremony☆110Updated 2 years ago
- ☆36Updated 3 years ago
- ☆29Updated last week
- ☆56Updated last year
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- ☆86Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- ☆10Updated last year
- keccak256 hash implementation in Circom☆79Updated 3 years ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆257Updated 2 months ago
- Contracts, off-chain agents, and libraries for Nomad☆79Updated 3 years ago
- yellow paper for roll_up token☆67Updated 5 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆102Updated 3 years ago
- Hermez node Go implementation☆60Updated last year
- ☆60Updated 2 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆71Updated last year
- Implements hermez network zk-Snarks circuits☆56Updated last year
- Tendermint in Solidity☆60Updated 3 years ago
- ☆89Updated 3 years ago
- Resources and project management of Ethereum ephemeral testnet☆27Updated last year