MystenLabs / zklogin-verifierLinks
☆23Updated 4 months ago
Alternatives and similar repositories for zklogin-verifier
Users that are interested in zklogin-verifier are comparing it to the libraries listed below
Sorting:
- ZKM Development Template/Framework☆30Updated 5 months ago
- groth16 verifier implementation with solana altbn syscalls☆55Updated last month
- ☆61Updated 3 months ago
- BitVM Groth16 Verifier Toolkit - WIP☆80Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 5 months ago
- ☆98Updated 7 months ago
- ☆42Updated last year
- Technical documentation of the zkEVM☆91Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆139Updated 5 months ago
- zkEVM proof generator reference written in Javascript☆82Updated 6 months ago
- Email verification circuit in halo2☆68Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Updated last month
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆116Updated 10 months ago
- Rust implementation of the Agglayer.☆117Updated this week
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated 2 years ago
- Core components of the Miden protocol☆98Updated this week
- Official repository for Solana smart contracts used by the Cross-Chain Transfer Protocol☆44Updated this week
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆83Updated last week
- ☆155Updated last year
- OS for next iteration of the world computer☆43Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- A guild to build simple zk rollup☆59Updated 3 years ago
- Polynomials Identity Language☆68Updated last year
- Smart contracts for onchain verification of SP1.☆124Updated last month
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 10 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine☆84Updated 2 years ago
- ☆69Updated 2 years ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆103Updated 5 months ago
- ☆29Updated 3 years ago