Skip to content

@reilabs Reilabs

Change the repository type filter

All

    Repositories list

    57 repositories

    • mavros

      Public
      Rust
      •0•12•3•5•Updated Jan 31, 2026Jan 31, 2026

    • lampe

      Public
      Extracting the semantics of Noir to Lean for formal verification
      theorem-provingzero-knowledgelean4noir-langprogram-extraction
      Lean
      •
      Apache License 2.0
      •5•36•18•1•Updated Jan 30, 2026Jan 30, 2026

    • miden-base

      Public
      Core components of the Polygon Miden rollup
      Rust
      •
      MIT License
      •107•0•0•0•Updated Jan 30, 2026Jan 30, 2026

    • keccacheck

      Public
      Efficient Keccak proofs using GKR.
      Rust
      •
      Apache License 2.0
      •1•3•0•1•Updated Jan 29, 2026Jan 29, 2026

    • sunspot

      Public
      Go
      •
      Apache License 2.0
      •2•33•3•1•Updated Jan 23, 2026Jan 23, 2026

    • gnark-sha256

      Public
      Go
      •0•0•0•0•Updated Jan 20, 2026Jan 20, 2026

    • sunspot_workshop

      Public
      Repo containing resources for a workshop demonstrating Sunspot
      Rust
      •0•1•0•0•Updated Jan 13, 2026Jan 13, 2026

    • noir

      Public
      Noir is a domain specific language for zero knowledge proofs
      Rust
      •
      Apache License 2.0
      •370•0•0•0•Updated Jan 13, 2026Jan 13, 2026

    • miden-crypto

      Public
      Cryptographic primitives used in Polygon Miden rollup
      Rust
      •
      Apache License 2.0
      •78•0•0•0•Updated Dec 27, 2025Dec 27, 2025

    • awesome-noir

      Public
      A curated list of awesome things related to learning and programming in Noir.
      Creative Commons Zero v1.0 Universal
      •130•0•0•0•Updated Nov 27, 2025Nov 27, 2025

    • gnark-solana

      Public archive
      Verify Gnark-generated groth16 proofs on solana
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 24, 2025Nov 24, 2025

    • miden-vm

      Public
      STARK-based virtual machine
      Rust
      •
      Apache License 2.0
      •253•0•0•1•Updated Oct 29, 2025Oct 29, 2025

    • trusted-setup

      Public
      Trusted setup ceremony coordinator for Gnrak circuits
      Go
      •
      Apache License 2.0
      •0•0•7•0•Updated Sep 5, 2025Sep 5, 2025

    • proven-zk

      Public
      A support library for working with zero knowledge cryptography in Lean 4.
      leanformal-verificationzero-knowledgelean4
      Lean
      •
      Apache License 2.0
      •5•48•0•1•Updated Aug 27, 2025Aug 27, 2025

    • gnark-nimue

      Public
      Recursive verification of Nimue transcripts
      Go
      •
      Apache License 2.0
      •2•2•0•1•Updated Aug 19, 2025Aug 19, 2025

    • gnark-skyscraper

      Public
      Skyscraper hash implementation in gnark
      Go
      •
      Apache License 2.0
      •2•6•0•0•Updated Aug 19, 2025Aug 19, 2025

    • ptau-deserializer

      Public
      snarkjs powers of tau universal setup (.ptau) deserializer for gnark's groth16 bn254 phase1 trusted setup
      Go
      •
      MIT License
      •18•0•0•0•Updated Jul 8, 2025Jul 8, 2025

    • ProveKit

      Public
      Client side zero-knowledge proving.
      Rust
      •31•0•0•0•Updated Jul 3, 2025Jul 3, 2025

    • gnark-whir

      Public
      Go
      •0•7•0•1•Updated Jun 27, 2025Jun 27, 2025

    • miden-vim

      Public
      A barebones Vim syntax definition for Miden assembly
      Vim Script
      •0•0•0•0•Updated Jun 18, 2025Jun 18, 2025

    • hieratika

      Public
      Compiling LLVM bytecode to run on top of the CairoVM and execute provably on Starknet
      emulatorcompilerllvmstarknet
      Cairo
      •
      Apache License 2.0
      •0•6•27•0•Updated May 21, 2025May 21, 2025

    • light-protocol

      Public
      Next-gen zkLayer for Solana
      Rust
      •
      GNU General Public License v3.0
      •87•0•0•1•Updated Apr 4, 2025Apr 4, 2025

    • gnark-lean-extractor

      Public
      A tool to extract gnark circuits defined in Go to Lean for formal verification.
      goextractorformal-verificationgnark
      Go
      •
      Apache License 2.0
      •3•15•1•3•Updated Apr 4, 2025Apr 4, 2025

    • starknet-replay

      Public
      CLI tool to replay Starknet transactions and profile libfuncs usage.
      rustblockchaincairo-langstarknet-ecosystem
      Rust
      •
      Apache License 2.0
      •0•0•11•1•Updated Apr 1, 2025Apr 1, 2025

    • signup-sequencer

      Public
      signup-sequencer repository
      Rust
      •
      MIT License
      •45•0•0•0•Updated Feb 21, 2025Feb 21, 2025

    • whir

      Public
      WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
      Rust
      •
      Apache License 2.0
      •47•0•0•1•Updated Dec 31, 2024Dec 31, 2024

    • nimue

      Public
      Fiat-Shamir for the masses.
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •34•0•0•0•Updated Dec 31, 2024Dec 31, 2024

    • pathfinder

      Public
      A Starknet full node written in Rust
      Rust
      •
      Other
      •266•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • gnark

      Public
      gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
      Go
      •
      Apache License 2.0
      •504•0•0•0•Updated Dec 2, 2024Dec 2, 2024

    • winterfell

      Public
      A STARK prover and verifier for arbitrary computations
      Rust
      •
      MIT License
      •221•0•0•0•Updated Nov 24, 2024Nov 24, 2024