Seceq

Popular repositories Loading

1. open-tls open-tls Public

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

   Rust 77 7

2. open-crypt open-crypt Public

   High-performance cryptography library in 100% safe Rust

   Rust 65 5

3. open-zkvm open-zkvm Public

   A bytecode format for zero-knowledge proof generation

   Rust 49 4

4. zkir-prover zkir-prover Public

   STARK prover for ZK IR using Plonky3 with Baby Bear field

   Rust 23

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 18

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

   Forked from AU-COBRA/coq-rust-extraction

   Coq plugin for extracting Rust code

   Rocq Prover