Pinned Repositories
github-slideshow
A robot powered training repository :robot:
Programming_Bitcoin
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.
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.
cairo-vm_in_go
cairo-vm_in_go is a Go 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.
ethrex
ethrex: Ethereum Rust Execution L1 and L2 client.
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
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
fmoletta's Repositories
fmoletta/github-slideshow
A robot powered training repository :robot:
fmoletta/Programming_Bitcoin