Stars
A Software Development Kit (SDK) for Zero-Knowledge Transactions
๐ A Starter Guide to Build ZK Applications ๐
๐ฆ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
๐น Moloch whose mind is pure machinery! Moloch whose blood is running money!
Starknet Ecosystem Dashboard
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Rust full node implementation of the Fuel v2 protocol.
๐ด Empowering everyone to build reliable and efficient smart contracts.