MystenLabs / zklogin-verifierLinks
☆24Updated 6 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 6 months ago
- groth16 verifier implementation with solana altbn syscalls☆58Updated 3 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 7 months ago
- Reference implementation of the node for the Miden blockchain☆86Updated this week
- ☆61Updated 2 weeks ago
- ☆100Updated 8 months ago
- Core components of the Miden protocol☆107Updated this week
- Smart contracts for onchain verification of SP1.☆130Updated 2 weeks ago
- BitVM Groth16 Verifier Toolkit - WIP☆80Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆97Updated 2 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆143Updated 2 weeks ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆87Updated 3 weeks ago
- OS for next iteration of the world computer☆43Updated 2 years ago
- zkEVM proof generator reference written in Javascript☆83Updated 7 months ago
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆84Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Updated last year
- Crypto Gadgets for Plonky2☆77Updated last year
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆117Updated last year
- Rust implementation of the Agglayer.☆118Updated this week
- ☆61Updated last week
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆38Updated 3 months ago
- Technical documentation of the zkEVM☆91Updated last year
- Email verification circuit in halo2☆68Updated last year
- EigenLayer Rust Developer Tooling☆92Updated 3 weeks ago
- ☆63Updated this week
- Out-of-circuit zkEVM implementation☆80Updated last year
- Polynomials Identity Language☆68Updated last year
- ☆23Updated last year
- A monorepo of reusable Circom circuits.☆28Updated 7 months ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆105Updated 6 months ago