Skip to content
@IrreducibleOSS

Irreducible

Accelerating the Zero-Knowledge Revolution

Popular repositories Loading

  1. binius binius Public

    A SNARK using towers of binary fields, implemented in Rust

    Rust 93 27

  2. binius-models binius-models Public

    A collection of Python models of cryptographic algorithms and protocols used in Binius

    Python 1

  3. tracing-profile tracing-profile Public

    Rust tracing extension for profiling one-shot program executions

    Rust

  4. sp1-mpt sp1-mpt Public

    SP1 project for succinctly verifiable Ethereum MPT proofs

    Rust

  5. m3mpt m3mpt Public

    This project builds a Binius binary proof for compressing Merkle Patricia Trie (MPT) inclusion proofs.

    Rust

  6. snark-bench snark-bench Public

    Rust

Repositories

Showing 8 of 8 repositories
  • binius Public

    A SNARK using towers of binary fields, implemented in Rust

    IrreducibleOSS/binius’s past year of commit activity
    Rust 93 Apache-2.0 27 9 (4 issues need help) 8 Updated Mar 18, 2025
  • binius-models Public

    A collection of Python models of cryptographic algorithms and protocols used in Binius

    IrreducibleOSS/binius-models’s past year of commit activity
    Python 1 Apache-2.0 0 0 1 Updated Mar 11, 2025
  • snark-bench Public
    IrreducibleOSS/snark-bench’s past year of commit activity
    Rust 0 0 0 0 Updated Mar 5, 2025
  • tracing-profile Public

    Rust tracing extension for profiling one-shot program executions

    IrreducibleOSS/tracing-profile’s past year of commit activity
    Rust 0 MIT 0 1 0 Updated Mar 5, 2025
  • m3mpt Public

    This project builds a Binius binary proof for compressing Merkle Patricia Trie (MPT) inclusion proofs.

    IrreducibleOSS/m3mpt’s past year of commit activity
    Rust 0 0 0 0 Updated Feb 27, 2025
  • stwo Public Forked from starkware-libs/stwo

    Fork of StarkWare's Stwo

    IrreducibleOSS/stwo’s past year of commit activity
    Rust 0 Apache-2.0 124 0 0 Updated Feb 17, 2025
  • binius-gpu Public

    Experimental GPU kernels for Binius computations

    IrreducibleOSS/binius-gpu’s past year of commit activity
    Cuda 0 MIT 0 0 0 Updated Feb 14, 2025
  • sp1-mpt Public

    SP1 project for succinctly verifiable Ethereum MPT proofs

    IrreducibleOSS/sp1-mpt’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Feb 14, 2025

Most used topics

Loading…