Veridise / zk-language-comparisonLinks
Examples of Mastermind implemented in different ZK languages and frameworks.
☆13Updated 3 months ago
Alternatives and similar repositories for zk-language-comparison
Users that are interested in zk-language-comparison are comparing it to the libraries listed below
Sorting:
- ☆20Updated last year
- GPU-acceselerated cryptography libraries for ZKsync☆19Updated last month
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 2 weeks ago
- A Symbolic Execution Tool for Cairo☆16Updated 2 years ago
- A verifiable supercomputer☆73Updated 3 weeks ago
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 7 months ago
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 10 months ago
- ☆26Updated 5 months ago
- A library for decentralized private computation☆19Updated 3 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆71Updated 2 years ago
- ☆30Updated last year
- Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.☆51Updated this week
- Cryptography libraries for ZKsync☆32Updated 2 months ago
- We introduce the Phylax Credible Layer, a novel blockchain security mechanism designed to prevent and mitigate hacks in decentralized ap…☆16Updated 8 months ago
- Rust implementation for zcash/pasta☆83Updated 3 months ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- Rust 256-bit unsigned integers.☆9Updated 2 years ago
- ☆14Updated this week
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- ☆17Updated last week
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆14Updated last week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Updated 3 years ago
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Updated 5 months ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- ☆50Updated 3 months ago
- A Zig implementation of Poseidon2 hash function.☆11Updated 4 months ago
- A set of tooling of halo2 circuits verification in Move environments☆16Updated 3 weeks ago
- ☆27Updated 3 years ago