xonoxitron / zk-wasm
π ZK-WASM: Zero-Knowledge Proofs in Rust π¦, compiled to WebAssembly πΈοΈ, bridged with JavaScript π
β20Updated last year
Related projects: β
- Bringing divine order to remote task execution.β20Updated last week
- JSON parser written in Lurkβ29Updated last year
- JWT verification with zero knowledge proofsβ43Updated 9 months ago
- Nova: Recursive SNARKs without trusted setupβ43Updated last year
- Curdleproofs is a zero-knowledge shuffle argumentβ68Updated 11 months ago
- Some very rough benchmarks between sha256 circuits in different proving systemsβ49Updated 2 years ago
- β16Updated 2 years ago
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibblesβ76Updated this week
- Solidity verifier for Plonkβ41Updated last month
- β27Updated 2 years ago
- Starknet sequencer built with Tendermint Coreβ53Updated last year
- β31Updated 5 months ago
- ε©: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platformβ27Updated 7 months ago
- Rust PLONK implementationβ37Updated last week
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.β89Updated last year
- Benchmarks of popular zkVMs including Joltβ49Updated 5 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.β48Updated 2 months ago
- The repository for high quality Trusted setups for groth16 based SNARKSβ21Updated 2 weeks ago
- β22Updated 2 weeks ago
- β32Updated 8 months ago
- Template for zkGraph.β19Updated 6 months ago
- keccak256 hash implementation in Circomβ75Updated 2 years ago
- β31Updated 6 months ago
- Cryptographic protocolsβ36Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758β120Updated last year
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)β23Updated this week
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.β38Updated 9 months ago
- Cairo-VM STARK Verifier Rust implementationβ22Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.β¦β21Updated this week
- Plonky2 Semaphore example for ZKHackβ25Updated 2 years ago