Lambdaclass's repositories
finance_playground
Juypter notebooks playground to explore and analyse economy and finance ideas
lambdaworks_stark_platinum
STARK Cairo prover using lambdaworks. 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. Cairo and similar proof systems can be used to provide scalability to blockchains.
starknet_stack
Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
cairo-by-example
cairo-by-example.com
pinocchio_lambda_vm
Zero Knowledge Virtual Machine from scratch implementing Pinocchio
cairo-vm-py
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
lambdaworks_kzg
An ABI compatible for KZG EIP-4844 in Rust
cairo-vm.c
cairo-vm_in_C is a C 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.
lambdaworks_exercises
Contains several examples and challenges to use Lambdaworks
starknet_rollup_on_bitcoin
Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
lambda_msm_fpga
Low level (VHDL) hardware description for MSM acceleration over FPGA
cairo_finance
Cairo finance utilities
mithril-oxide
Bindings to MLIR using the full C++ API
fuzzing_examples
A collection of fuzzers built using Honggfuzz and Cargofuzz tools
tendermint_consensus
Tendermint Consensus is a minimalistic implementation of the BFT consensus algorithm to securely replicate state machines on multiple machines.
playground-vm-go
Playground for building a VM in Go
rancher-cluster
Kubernetes cluster setup with Rancher
crypto
Cryptographic primitives used in Polygon Miden rollup
local-setup
zkSync 2.0 setup for local development
mina_monorepo
Monorepo version of Mina
sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
tla_plus_playground
Some TLA+ specifications to learn more about TLA and formal verifications