ZK APP
Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
A zkVM for Decentralized Private Computations (DPC)
An interactive tutorial to get you up and running with Cairo v1 and Starknet
Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration betwe…
Cairo is the first Turing-complete language for creating provable programs for general computation.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)
A STARK proof to sync a Bitcoin full node in an instant.
A trustless and scaling solution for BNB Smart Chain