Popular repositories Loading

1. hpcrypt hpcrypt Public

   High-performance cryptography library in 100% safe Rust

   Rust 94 5

2. hptls hptls Public

   High-performance TLS/DTLS/QUIC library in 100% safe Rust

   Rust 77 7

3. zkir zkir Public

   A bytecode format for zero-knowledge proof generation

   Rust 62 4

4. zkir-prover zkir-prover Public

   STARK prover for ZK IR using Plonky3 with Baby Bear field

   Rust 30

5. zkir-llvm zkir-llvm Public

   LLVM IR to ZK IR compiler - translate programs from any LLVM-supported language (Rust, C, C++, Go) into bytecode for zero-knowledge proof generation

   Rust 25

6. coq-rust-extraction coq-rust-extraction Public

   Forked from AU-COBRA/coq-rust-extraction

   Coq plugin for extracting Rust code

   Rocq Prover