Pinned Loading

1. lambdaclass/lambdaworks lambdaclass/lambdaworks Public

   lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

   Rust 599 128

2. lambdaclass/cairo-vm lambdaclass/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 th…

   Rust 507 142

3. lambdaclass/lambdaclass_hacking_learning_path lambdaclass/lambdaclass_hacking_learning_path Public

   LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

   214 31

4. lambdaclass/sparkling_water_bootcamp lambdaclass/sparkling_water_bootcamp Public

   Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp

   126 24

5. lambdaclass/ethereum_rust lambdaclass/ethereum_rust Public

   Lambda Ethereum Rust Execution client

   Rust 112 6

6. lambdaclass/evm_mlir lambdaclass/evm_mlir Public

   An EVM written with MLIR

   Rust 70 11