o1-labs / o1js-bindings
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
☆12Updated this week
Alternatives and similar repositories for o1js-bindings:
Users that are interested in o1js-bindings are comparing it to the libraries listed below
- ☆10Updated last year
- ☆28Updated 6 months ago
- ☆29Updated this week
- ☆25Updated 2 weeks ago
- A zkApp based staking pool for MINA☆15Updated last year
- ☆19Updated last month
- A battleship game using ZKPs☆43Updated last year
- Noir implementation of RSA-verify☆42Updated last year
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆21Updated last year
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆31Updated last year
- ☆17Updated 7 months ago
- A dapp SDK for the fhEVM ecosystem☆28Updated this week
- A collection of ZK light client libraries for various blockchains☆48Updated 2 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆30Updated last month
- An observatory fork of SP1☆65Updated last week
- An implementation of a DKG protocol for front-running protection on Anoma.☆81Updated 2 years ago
- Benchmarks of popular zkVMs including Jolt☆59Updated 10 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated this week
- RISC-V interactive fault proof tech☆100Updated 2 weeks ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆50Updated 3 weeks ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆70Updated 3 weeks ago
- Zeko: zk-Rollup for Mina, a succinct blockchain☆26Updated this week
- Starter kit for privacy enabled application chains☆43Updated this week
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆64Updated 8 months ago
- Proof system backends for OpenVM.☆26Updated this week
- Compiler from MidenIR to Miden Assembly☆69Updated this week
- Solidity implementation of Nova proving system verifier☆61Updated 11 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 5 months ago