Seceq

Popular repositories Loading

1. hpcrypt hpcryptPublic

   High-performance cryptography library in 100% safe Rust

   Rust 65 5

2. hptls hptlsPublic

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

   Rust 64 7

3. zkir zkirPublic

   A bytecode format for zero-knowledge proof generation

   Rust 50 4

4. zkir-prover zkir-proverPublic

   STARK prover for ZK IR using Plonky3 with Baby Bear field

   Rust 22

5. zkir-llvm zkir-llvmPublic

   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 18

6. coq-rust-extraction coq-rust-extractionPublic

   Forked from AU-COBRA/coq-rust-extraction

   Coq plugin for extracting Rust code

   Rocq Prover