reilabs/lampe

Extracting the semantics of Noir to Lean for formal verification

Language: Lean - Size: 3.25 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 34 - Forks: 4

reilabs/spartan-vm

Language: Rust - Size: 1.62 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 6 - Forks: 0

reilabs/miden-vm Fork of 0xMiden/miden-vm

STARK-based virtual machine

Language: Rust - Size: 80.6 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

reilabs/noir Fork of noir-lang/noir

Noir is a domain specific language for zero knowledge proofs

Language: Rust - Size: 311 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

reilabs/gnark-skyscraper

Skyscraper hash implementation in gnark

Language: Go - Size: 25.4 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 6 - Forks: 2

reilabs/gnark-nimue

Recursive verification of Nimue transcripts

Language: Go - Size: 65.4 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 2 - Forks: 1

reilabs/proven-zk

A support library for working with zero knowledge cryptography in Lean 4.

Language: Lean - Size: 172 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 38 - Forks: 5

reilabs/gnark-whir

Language: Go - Size: 261 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 7 - Forks: 0

reilabs/miden-vim

A barebones Vim syntax definition for Miden assembly

Language: Vim Script - Size: 2.93 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

reilabs/hieratika

Compiling LLVM bytecode to run on top of the CairoVM and execute provably on Starknet

Language: Cairo - Size: 6.72 MB - Last synced at: 8 days ago - Pushed at: 4 months ago - Stars: 6 - Forks: 0

reilabs/ProveKit Fork of worldfnd/ProveKit

Client side zero-knowledge proving.

Language: Rust - Size: 13.3 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

reilabs/miden-crypto Fork of 0xMiden/crypto

Cryptographic primitives used in Polygon Miden rollup

Language: Rust - Size: 1.99 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

reilabs/cairo-hints

Language: Cairo - Size: 601 KB - Last synced at: 22 days ago - Pushed at: 10 months ago - Stars: 24 - Forks: 5

reilabs/light-protocol Fork of Lightprotocol/light-protocol

Next-gen zkLayer for Solana

Language: Rust - Size: 31.1 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

reilabs/gnark-lean-extractor

A tool to extract gnark circuits defined in Go to Lean for formal verification.

Language: Go - Size: 132 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 12 - Forks: 2

reilabs/miden-base Fork of 0xPolygonMiden/miden-base

Core components of the Polygon Miden rollup

Size: 18.2 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

reilabs/starknet-replay

CLI tool to replay Starknet transactions and profile libfuncs usage.

Language: Rust - Size: 321 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

reilabs/go-ark-serialize

arkworks deserialization for go

Language: Go - Size: 5.86 KB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

reilabs/pathfinder Fork of eqlabs/pathfinder

A Starknet full node written in Rust

Language: Rust - Size: 20.6 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

reilabs/gnark Fork of Consensys/gnark

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

Language: Go - Size: 22.5 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

reilabs/nimue Fork of arkworks-rs/nimue

Fiat-Shamir for the masses.

Size: 756 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

reilabs/whir Fork of WizardOfMenlo/whir

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

Language: Rust - Size: 196 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

reilabs/winterfell Fork of facebook/winterfell

A STARK prover and verifier for arbitrary computations

Size: 2.1 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

reilabs/vrf-server

Language: Rust - Size: 14.6 KB - Last synced at: 6 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

reilabs/blockifier Fork of starkware-libs/blockifier

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

Language: Rust - Size: 6.51 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

reilabs/tx-sitter-monolith Fork of worldcoin/tx-sitter-monolith

Transaction sitter. But a glorious monolith.

Size: 91.8 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

reilabs/signup-sequencer Fork of worldcoin/signup-sequencer

signup-sequencer repository

Size: 3.61 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

reilabs/gnark-lean-demo

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

Language: Lean - Size: 111 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 0

reilabs/starknet-vrf

Language: Cairo - Size: 99.6 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

reilabs/scarb Fork of software-mansion/scarb

The Cairo package manager

Size: 3.65 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

reilabs/dojo Fork of dojoengine/dojo

Dojo is a toolchain for building provable games and autonomous worlds with Cairo

Size: 9.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

reilabs/Plonky3 Fork of Plonky3/Plonky3

A toolkit for polynomial IOPs (PIOPs)

Size: 2.2 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

reilabs/cairo Fork of starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

Size: 87.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

reilabs/foundry Fork of foundry-rs/foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language: Rust - Size: 17.9 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

reilabs/stone-tester

Language: Cairo - Size: 137 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

reilabs/cairo-vm Fork of lambdaclass/cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

Size: 8.26 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

reilabs/lean-circuit-compiler

A tool to extract gnark circuits defined in Go to Lean for formal verification.

Language: Go - Size: 22.5 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

reilabs/semaphore-mtb Fork of worldcoin/semaphore-mtb

semaphore-mtb fork

Language: Lean - Size: 2.09 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

reilabs/cargo-instruments Fork of cmyr/cargo-instruments

A cargo plugin to generate Xcode Instruments trace files

Size: 130 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

reilabs/circom Fork of iden3/circom

zkSnark circuit compiler

Size: 4.01 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

reilabs/barretenberg Fork of AztecProtocol/barretenberg

elliptic curve library for the bn128 curve

Size: 76.2 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

reilabs/glog Fork of google/glog

C++ implementation of the Google logging module

Language: C++ - Size: 1.36 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

reilabs/ethSTARK Fork of starkware-libs/ethSTARK

Size: 915 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

reilabs/.github

Reilabs organisation documentation

Size: 1000 Bytes - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0