Pinned Repositories
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.
concrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
erlings
Small exercises to get you used to reading and writing Erlang code
ethrex
ethrex: Ethereum Rust Execution L1 and L2 client.
lambda_ethereum_consensus
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
lambdaclass_hacking_learning_path
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
options_backtester
Simple backtesting software for options
riak_core_tutorial
An up to date riak_core tutorial, using basho's riak_core, Erlang/OTP 23-24-25 and rebar3.
starknet_in_rust
A Rust implementation of Starknet execution logic
Lambdaclass's Repositories
lambdaclass/lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
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.
lambdaclass/ethrex
ethrex: Ethereum Rust Execution L1 and L2 client.
lambdaclass/lambdaclass_hacking_learning_path
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
lambdaclass/concrete
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
lambdaclass/cairo_native
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
lambdaclass/lambda_ethereum_consensus
Elixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
lambdaclass/mina_bridge
Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
lambdaclass/mirra_backend
Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games
lambdaclass/rex
Useful tools for developing on Ethereum powered by Ethrex
lambdaclass/starknet-replay
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
lambdaclass/zksync-era
zkSync era
lambdaclass/eigen-rs
Rust <> EigenLayer Developer Ecosystem
lambdaclass/winterfell
A STARK prover and verifier for arbitrary computations
lambdaclass/zksync-eigenda-tools
lambdaclass/eigenda-client-rs
Rust client for interacting with eigenda.
lambdaclass/aligned_layer
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..
lambdaclass/crypto
Cryptographic primitives used in Polygon Miden rollup
lambdaclass/eigensdk-go
Go SDK for building AVSs on Eigenlayer
lambdaclass/era-contracts
Smart Contract Submodule For zkSync Era
lambdaclass/ethereum_nix
Nix packages and NixOS modules for the Ethereum ecosystem
lambdaclass/ethrex_l2_hub
lambdaclass/hosts
🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.
lambdaclass/incredible-squaring-avs
Basic repo demoing a simple AVS middleware with full eigenlayer integration
lambdaclass/miden-client
lambdaclass/miden-node
Reference implementation of the node for the Polygon Miden rollup
lambdaclass/miden-vm
STARK-based virtual machine - For Lambdaworks Prover
lambdaclass/o1js
TypeScript framework for zk-SNARKs and zkApps
lambdaclass/openmina
Mina Rust Node
lambdaclass/sequencer