o1-labs / o1js-bindingsLinks
Bindings for o1js to lower layers of the proof system and the Mina transaction logic
☆13Updated 2 months ago
Alternatives and similar repositories for o1js-bindings
Users that are interested in o1js-bindings are comparing it to the libraries listed below
Sorting:
- ☆29Updated 3 weeks ago
- ☆12Updated last year
- Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.☆22Updated last year
- Private Attestations for Mina wallets☆15Updated 3 weeks ago
- ☆29Updated 10 months ago
- A battleship game using ZKPs☆43Updated last year
- ☆20Updated 5 months ago
- A verifiable supercomputer☆69Updated last week
- ☆27Updated 2 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆71Updated this week
- ☆40Updated 8 months ago
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- Noir implementation of RSA-verify☆43Updated last year
- ☆3Updated 2 years ago
- ☆23Updated 3 weeks ago
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆30Updated 2 years ago
- Starter kit for privacy enabled application chains☆43Updated last month
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Implementation of Plonk by Hand in rust☆61Updated last year
- Cryptography libraries for ZKsync☆32Updated last month
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Updated 3 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated last year
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆53Updated 2 months ago
- Email verification circuit in halo2☆68Updated 11 months ago
- keccak256 hash implementation in Circom☆80Updated 3 years ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆51Updated last month
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago