sergejkoll / exam-preparation
☆9Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for exam-preparation
- ☆7Updated 4 months ago
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆63Updated this week
- Blockchain and Decentralized Systems Book☆47Updated last month
- ☆14Updated 5 months ago
- ☆13Updated 10 months ago
- Hardhat plugin to generate Go bindings☆26Updated 8 months ago
- Lattice RingCT v2.0 with Multiple Input and Output Wallets☆11Updated 5 years ago
- Anonymous passport voting via zk-SNARKs☆14Updated 4 months ago
- Bulletproofs++ implementation on Rust☆23Updated 4 months ago
- Reference implementation for the Poseidon Snark-friendly Hash algorithm.☆209Updated 2 months ago
- Writing tasm with Rust syntax☆15Updated last month
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆57Updated 6 months ago
- a portable and fast pairing-based cryptography library☆466Updated last week
- Hardhat template typescript project for ad-hoc solidity development☆32Updated this week
- Include halo2 example circuits☆10Updated 2 years ago
- ☆49Updated last year
- r1cs file format parser☆23Updated 6 months ago
- Bulletproofs++ implementation on Go☆24Updated 4 months ago
- Template repository for zkLLVM-based projects☆19Updated 8 months ago
- High-speed zkSNARKs☆87Updated 4 months ago
- An `arkworks` library for low-degree testing☆20Updated 2 months ago
- ☆10Updated last year
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆14Updated last year
- Extractable Witness Encryption for KZG Commitments☆26Updated 3 weeks ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆48Updated this week
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆12Updated 2 months ago
- Experimental folding schemes library☆199Updated this week
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆10Updated 3 months ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆18Updated 6 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆31Updated last year