Pinned Repositories
kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
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-py
cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
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.
lambdaclass_hacking_learning_path
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
starknet_in_rust
A Rust implementation of Starknet execution logic
zksync-cli
CLI tool that simplifies ZKsync development
kakarot
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
parsers
parsers
x86-disassembler
mmsc2's Repositories
mmsc2/parsers
parsers
mmsc2/kakarot
EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.
mmsc2/x86-disassembler