o1-labs / o1js-bindings
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for o1js-bindings
- ☆10Updated 10 months ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆78Updated last year
- A zkApp based staking pool for MINA☆15Updated last year
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆21Updated last year
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆56Updated 5 months ago
- ☆28Updated this week
- ☆24Updated 5 months ago
- Installation tooling for Noir☆23Updated 4 months ago
- ☆27Updated 3 months ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆61Updated last year
- Zeko: zk-Rollup for Mina, a succinct blockchain☆23Updated this week
- ☆18Updated this week
- An observatory fork of SP1 (contact: @huitseeker)☆48Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Formalization of Typhon protocol☆28Updated this week
- Evaluating & benchmarking ZKP compilation strategies.☆120Updated 11 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆39Updated last week
- An implementation of a namespaced merkle tree in Rust.☆27Updated 2 months ago
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆31Updated last year
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully beco…☆57Updated 8 months ago
- KZG commitments over BLS12-381☆32Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆86Updated last month
- ☆3Updated last year
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Starter kit for privacy enabled application chains☆41Updated last month
- zk-Snarks circuit for franchise proof☆12Updated 11 months ago
- Smart contracts for onchain verification of SP1.☆59Updated 2 weeks ago