xonoxitron / zk-wasm
π ZK-WASM: Zero-Knowledge Proofs in Rust π¦, compiled to WebAssembly πΈοΈ, bridged with JavaScript π
β25Updated last year
Alternatives and similar repositories for zk-wasm:
Users that are interested in zk-wasm are comparing it to the libraries listed below
- Some very rough benchmarks between sha256 circuits in different proving systemsβ49Updated 2 years ago
- JWT verification with zero knowledge proofsβ48Updated last year
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.β19Updated 2 weeks ago
- β27Updated 2 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.β49Updated 8 months ago
- Template for zkGraph.β19Updated last year
- β23Updated 2 months ago
- Circom arithmetic circuits and concepts explained, in depth.β25Updated 2 months ago
- β33Updated last year
- An example of a ZK Tendermint light client on Ethereum powered by SP1.β27Updated 3 weeks ago
- Step by step implementation of KZGβ18Updated 5 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack π¦πβ54Updated last year
- A collection of ZK light client libraries for various blockchainsβ49Updated 3 months ago
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.β14Updated 2 months ago
- A Solidity implementation of Halo2's Pasta curvesβ49Updated last year
- Cairo-VM STONE STARK Verifier Rust implementationβ40Updated last month
- ZKM Development Template/Frameworkβ24Updated this week
- JSON parser written in Lurkβ29Updated last year
- Solidity verifier for Plonkβ41Updated 6 months ago
- Email verification circuit in halo2β67Updated 8 months ago
- Curdleproofs is a zero-knowledge shuffle argumentβ69Updated last year
- Bringing divine order to remote task execution.β23Updated 3 months ago
- Spire Labs' litepaper (it's pretty based bro)β17Updated 4 months ago
- An API compatible port of the Stone prover.β19Updated 4 months ago
- β31Updated 10 months ago
- Public releases for the Valida toolchainβ14Updated 3 weeks ago
- Nova: Recursive SNARKs without trusted setupβ43Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjsβ46Updated 2 years ago
- zkSNARK circuits for the Telepathy protocolβ53Updated last year
- An observatory fork of SP1β66Updated 3 weeks ago