Skip to content
Change the repository type filter

All

    Repositories list

    • A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
      Rust
      Apache License 2.0
      43121409Updated Oct 31, 2024Oct 31, 2024
    • Lambda Ethereum Rust Execution client
      Rust
      Apache License 2.0
      2016922022Updated Oct 30, 2024Oct 30, 2024
    • Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games
      Elixir
      Apache License 2.0
      162966Updated Oct 30, 2024Oct 30, 2024
    • lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
      Rust
      Apache License 2.0
      1366176119Updated Oct 30, 2024Oct 30, 2024
    • Smart Contract Submodule For zkSync Era
      Solidity
      MIT License
      343025Updated Oct 30, 2024Oct 30, 2024
    • Provides a way of reading a real Starknet State, so you can re-execute an existing transaction in any of the Starknet networks in an easy way
      Rust
      Apache License 2.0
      16129Updated Oct 30, 2024Oct 30, 2024
    • zkSync era
      Rust
      Apache License 2.0
      2.1k74641Updated Oct 30, 2024Oct 30, 2024
    • Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
      Elixir
      Apache License 2.0
      331001112Updated Oct 30, 2024Oct 30, 2024
    • LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
      35240192Updated Oct 30, 2024Oct 30, 2024
    • hive

      Public
      Ethereum end-to-end test harness
      Go
      GNU General Public License v3.0
      447001Updated Oct 29, 2024Oct 29, 2024
    • Go implementation of the Ethereum protocol
      Go
      GNU Lesser General Public License v3.0
      20k000Updated Oct 29, 2024Oct 29, 2024
    • Rust
      0122Updated Oct 29, 2024Oct 29, 2024
    • sequencer

      Public
      Rust
      Apache License 2.0
      22005Updated Oct 29, 2024Oct 29, 2024
    • o1js

      Public
      TypeScript framework for zk-SNARKs and zkApps
      TypeScript
      Apache License 2.0
      116002Updated Oct 29, 2024Oct 29, 2024
    • Rust
      MIT License
      6000Updated Oct 25, 2024Oct 25, 2024
    • cairo-vm

      Public
      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.
      Rust
      Apache License 2.0
      1485152224Updated Oct 23, 2024Oct 23, 2024
    • A Kurtosis package that deploys a private, portable, and modular Ethereum devnet
      Starlark
      MIT License
      143001Updated Oct 23, 2024Oct 23, 2024
    • Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
      Rust
      1185143Updated Oct 21, 2024Oct 21, 2024
    • Aligned Layer is a verification layer for zero-knowledge proofs using Eigen Layer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum..
      Solidity
      MIT License
      341002Updated Oct 21, 2024Oct 21, 2024
    • Basic repo demoing a simple AVS middleware with full eigenlayer integration
      Go
      Other
      123000Updated Oct 17, 2024Oct 17, 2024
    • Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
      Apache License 2.0
      2612900Updated Oct 14, 2024Oct 14, 2024
    • openmina

      Public
      Mina Rust Node
      Rust
      Apache License 2.0
      18000Updated Oct 10, 2024Oct 10, 2024
    • A pure Rust implementation of WebRTC
      Rust
      Apache License 2.0
      366000Updated Oct 10, 2024Oct 10, 2024
    • The proof systems used by Mina
      Rust
      Apache License 2.0
      93000Updated Oct 10, 2024Oct 10, 2024
    • Libraries for finite field, elliptic curve, and polynomial arithmetic
      Rust
      Apache License 2.0
      245000Updated Oct 8, 2024Oct 8, 2024
    • Grafana dashboards for zkSync Era
      MIT License
      7000Updated Oct 8, 2024Oct 8, 2024
    • The Nexus zkVM: The zero-knowledge virtual machine
      Rust
      Apache License 2.0
      238000Updated Oct 8, 2024Oct 8, 2024
    • Stark Compass: the only open source explorer
      Elixir
      Apache License 2.0
      2368554Updated Oct 4, 2024Oct 4, 2024
    • A STARK prover and verifier for arbitrary computations
      Rust
      MIT License
      177101Updated Oct 4, 2024Oct 4, 2024
    • Go SDK for building AVSs on Eigenlayer
      Go
      Other
      43002Updated Oct 2, 2024Oct 2, 2024