Pinned Repositories
practical_cryptography_and_distributed_ledgers
aggregation_aligned_layer
lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
lambdaworks_exercises
Contains several examples and challenges to use Lambdaworks
lambdaworks_kzg
An ABI compatible for KZG EIP-4844 in Rust
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.
mina_bridge
Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum
sparkling_water_bootcamp
Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
cryptography_in_rust_for_hackers
Cryptography In Rust For Hackers
aligned_layer
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.