- Berlin, Germany
-
15:39
(UTC +02:00)
Pinned Loading
-
-
wargo
wargo PublicZK verification on Starknet: A privacy-focused dApp using Noir circuits, UltraHonk proofs, & Cairo programs to verify perfect squares without revealing inputs.
Cairo
-
merkle_multisig_attack
merkle_multisig_attack PublicThis project demonstrates common vulnerabilities when using cryptographic primitives like Merkle trees and digital signatures in smart contracts.
Cairo
-
cairo
cairo PublicForked from starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Rust
-
daolulu
daolulu PublicThis project demonstrates common vulnerabilities in DAO governance systems. It contains two practical examples of governance attacks that could be executed against DAOs with vulnerable designs.
Cairo
If the problem persists, check the GitHub status page or contact support.