Skip to content

@reilabs Reilabs

Change the repository type filter

All

    Repositories list

    45 repositories

    • lampe

      Public
      Extracting the semantics of Noir to Lean for formal verification
      theorem-provingzero-knowledgelean4noir-langprogram-extraction
      Lean
      •1•19•4•4•Updated Dec 28, 2024Dec 28, 2024

    • miden-crypto

      Public
      Cryptographic primitives used in Polygon Miden rollup
      Rust
      •
      MIT License
      •41•0•0•0•Updated Dec 27, 2024Dec 27, 2024

    • gnark-whir

      Public
      Go
      •0•4•0•1•Updated Dec 27, 2024Dec 27, 2024

    • starknet-replay

      Public
      CLI tool to replay Starknet transactions and profile libfuncs usage.
      rustblockchaincairo-langstarknet-ecosystem
      Rust
      •
      Apache License 2.0
      •0•0•11•2•Updated Dec 23, 2024Dec 23, 2024

    • hieratika

      Public
      Efforts to compile LLVM bytecode to run on top of the CairoVM and hence execute provably on Starknet
      emulatorcompilerllvmstarknet
      LLVM
      •
      Apache License 2.0
      •0•3•37•1•Updated Dec 22, 2024Dec 22, 2024

    • gnark-nimue

      Public
      Recursive verification of Nimue transcripts
      Go
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • pathfinder

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

    • gnark-skyscraper

      Public
      Skyscraper hash implementation in gnark
      Go
      •
      Apache License 2.0
      •0•3•0•0•Updated Dec 5, 2024Dec 5, 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
      •400•0•0•0•Updated Dec 2, 2024Dec 2, 2024

    • whir

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

    • miden-vm

      Public
      STARK-based virtual machine
      Rust
      •
      MIT License
      •167•0•0•1•Updated Nov 27, 2024Nov 27, 2024

    • nimue

      Public
      Fiat-Shamir for the masses.
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •14•0•0•0•Updated Nov 27, 2024Nov 27, 2024

    • winterfell

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

    • go-ark-serialize

      Public
      arkworks deserialization for go
      Go
      •
      Apache License 2.0
      •0•1•0•0•Updated Nov 20, 2024Nov 20, 2024

    • cairo-hints

      Public
      Cairo
      •
      Apache License 2.0
      •4•23•0•0•Updated Nov 19, 2024Nov 19, 2024

    • foundry

      Public
      Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
      Rust
      •
      Apache License 2.0
      •1.8k•0•0•1•Updated Oct 22, 2024Oct 22, 2024

    • signup-sequencer

      Public
      signup-sequencer repository
      Rust
      •
      MIT License
      •37•0•0•0•Updated Oct 14, 2024Oct 14, 2024

    • sequencer

      Public
      Rust
      •
      Apache License 2.0
      •28•0•0•0•Updated Oct 11, 2024Oct 11, 2024

    • papyrus

      Public
      Papyrus is a StarkNet full node written in Rust.
      Rust
      •
      Apache License 2.0
      •90•0•0•0•Updated Sep 22, 2024Sep 22, 2024

    • semaphore-mtb

      Public
      semaphore-mtb fork
      Lean
      •
      MIT License
      •16•0•3•2•Updated Sep 20, 2024Sep 20, 2024

    • blockifier

      Public
      Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
      Rust
      •
      Apache License 2.0
      •108•0•0•2•Updated Sep 19, 2024Sep 19, 2024

    • world-id-contracts

      Public
      Internal use. Smart contracts powering the World ID protocol and the Worldcoin app airdrops.
      Solidity
      •
      MIT License
      •36•0•0•0•Updated Sep 11, 2024Sep 11, 2024

    • vrf-server

      Public
      Rust
      •0•1•0•0•Updated Sep 11, 2024Sep 11, 2024

    • stark-vrf

      Public
      A VRF implementation using Stark curve and Poseidon hash.
      Rust
      •3•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • noir

      Public
      Noir is a domain specific language for zero knowledge proofs
      Rust
      •
      Apache License 2.0
      •219•0•0•0•Updated Sep 9, 2024Sep 9, 2024

    • tx-sitter-monolith

      Public
      Transaction sitter. But a glorious monolith.
      Rust
      •
      MIT License
      •3•0•0•0•Updated Aug 22, 2024Aug 22, 2024

    • dojo

      Public
      Dojo is a toolchain for building provable games and autonomous worlds with Cairo
      Rust
      •
      Apache License 2.0
      •182•0•0•0•Updated Aug 1, 2024Aug 1, 2024

    • cairo

      Public
      Cairo is the first Turing-complete language for creating provable programs for general computation.
      Rust
      •
      Apache License 2.0
      •530•0•0•0•Updated Aug 1, 2024Aug 1, 2024

    • light-protocol

      Public
      Next-gen zkLayer for Solana
      Rust
      •
      GNU General Public License v3.0
      •43•0•0•0•Updated Jul 31, 2024Jul 31, 2024

    • 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
      •2•10•1•2•Updated Jul 27, 2024Jul 27, 2024