🤪
FrontEnd, Web3 enthusiast,
Student of Technical CS at Politechnika Wrocławska
Highlights
- Pro
Stars
A robust execution client for Ethereum node operators.
Cairo is the first Turing-complete language for creating provable programs for general computation.
A typescript implementation of the Cairo VM
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
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…
a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance