Reproduce DeFi hacked incidents using Foundry.

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

DEFI Focus Smart Contract Security Capture the Flag

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

Contains all contracts related to the e-voting project

An ERC20 disburser that use merkle trees to store and verify user data on a normal local network.