rarimo / FreedomToolLinks
☆16Updated last year
Alternatives and similar repositories for FreedomTool
Users that are interested in FreedomTool are comparing it to the libraries listed below
Sorting:
- Bulletproofs++ implementation on Go☆24Updated last year
- Bulletproofs++ implementation on Rust☆23Updated last year
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆83Updated 3 weeks ago
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆65Updated 4 months ago
- Making client-side proving on mobile simple.☆180Updated last week
- Demonstrate zero cost memory transfer between CPU and GPU in Metal (for apple silicon)☆16Updated 5 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆157Updated this week
- ☆127Updated 7 months ago
- Threshold ECDSA via Triples☆80Updated last year
- The ultimate TypeScript environment for Circom development☆87Updated last month
- Stress Testing ZK Systems Through Maximum Pain☆26Updated last week
- A performant and modular zkVM framework built for customization and extensibility.☆252Updated this week
- Middleware to compile Circom circuits to Nova prover☆241Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆325Updated last week
- Experimental folding schemes library☆244Updated last week
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆174Updated 4 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆209Updated last year
- ☆99Updated 11 months ago
- Translate circomlib into gnark☆16Updated 3 weeks ago
- ☆115Updated 11 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆76Updated 2 weeks ago
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆22Updated this week
- A SNARK using towers of binary fields, implemented in Rust☆120Updated 2 weeks ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆110Updated this week
- fast zksnark prover☆120Updated last year
- Windowed big integer multiplication implementation on Bitcoin Script☆12Updated 7 months ago
- ☆199Updated last year
- Noname: a programming language to write zkapps☆216Updated 3 weeks ago
- Create MPC apps with TypeScript.☆49Updated this week
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆164Updated 11 months ago