sublinearlabs

Popular repositories Loading

1. zkml zkmlPublic

   A Rust compiler for converting ONNX models into Expander circuits, enabling GKR-based proofs of machine-learning inference.

   Rust 8 2

2. rax raxPublic

   A RISC-V to x86-64 AOT compiler for ELF binaries

   Rust 8 1

3. sumcheck-boilerplate sumcheck-boilerplatePublic

   An educational Rust scaffold for implementing the Sumcheck prover, with verifier logic and failing tests that guide users through constructing a valid interactive proof.

   Rust 2

4. field-tracker field-trackerPublic

   A Rust instrumentation library for counting and profiling finite-field operations in cryptographic protocols, with scoped measurements and summary reports.

   Rust 2 1

5. virgo virgoPublic

   A Rust implementation of Virgo++, a doubly efficient interactive proof system for general arithmetic circuits with linear prover time.

   Rust 1 1

6. ExpanderCompilerCollection ExpanderCompilerCollectionPublic

   Forked from PolyhedraZK/ExpanderCompilerCollection

   Expander Compiler

   Rust