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
- A zkApp based staking pool for MINA☆15Updated last year
- ☆28Updated 5 months ago
- ☆19Updated 2 weeks ago
- ☆29Updated this week
- ☆24Updated 7 months ago
- A battleship game using ZKPs☆43Updated last year
- ☆11Updated 11 months ago
- An observatory fork of SP1☆52Updated this week
- An implementation of a DKG protocol for front-running protection on Anoma.☆81Updated last year
- EigenTrust - A distributed reputation system☆110Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated 2 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆39Updated last week
- Noir implementation of RSA-verify☆42Updated last year
- Repository for research on Suave.☆23Updated last year
- Starter kit for privacy enabled application chains☆43Updated last month
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆62Updated 6 months ago
- Circom circuits used by the iden3 core protocol.☆83Updated 5 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆70Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated last year
- ☆14Updated 2 years ago
- ZKM Development Template/Framework☆23Updated this week
- ☆17Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆21Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- Smart contracts for onchain verification of SP1.☆68Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆78Updated 9 months ago
- ☆64Updated 5 months ago
- Formalization of Typhon protocol☆30Updated 3 weeks ago
- r1cs file format parser☆23Updated 8 months ago