Popular repositories Loading

1. Picus Picus Public

   Forked from Veridise/Picus

   Symbolic Virtual Machine for Automated R1CS Verification

   Racket

2. zkdocs zkdocs Public

   Forked from trailofbits/zkdocs

   Interactive documentation on zero-knowledge proof systems and related primitives.

   HTML

3. decree decree Public

   Forked from trailofbits/decree

   Decree Fiat Shamir Library

   Rust

4. verifast verifast Public

   Forked from verifast/verifast

   Research prototype tool for modular formal verification of C, Rust and Java programs

   Rust

5. crypto-bigint crypto-bigint Public

   Forked from RustCrypto/crypto-bigint

   Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas

   Rust

6. KEMs KEMs Public

   Forked from RustCrypto/KEMs

   Collection of Key Encapsulation Mechanisms written in pure Rust

   Rust