Pinned Repositories
elections_forecast
pingcap_talent_plan
winterfell
A STARK prover and verifier for arbitrary computations
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_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.
starknet_in_rust
A Rust implementation of Starknet execution logic
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
stone-prover
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.
entropidelic's Repositories
entropidelic/elections_forecast
entropidelic/pingcap_talent_plan
entropidelic/winterfell
A STARK prover and verifier for arbitrary computations