JoshMa-mq/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Focus.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Nova Wallet Android is a next gen application for Polkadot & Kusama ecosystem, transparent & community-oriented, focused on convenient UX/UI, fast performance & security.
Polygon zkEVM Smart Contracts
The most widely used, high performance Minecraft server that aims to fix gameplay and mechanics inconsistencies