Collected molecules will appear here. Add from search or explore.
A Turing-complete programming language and compiler designed specifically for writing and generating Zero-Knowledge Proof (ZKP) circuits.
stars
2
forks
0
While the domain of Turing-complete ZK languages is technically challenging, the project has virtually no traction (2 stars, 0 forks) after four months. It competes in a crowded space against well-funded incumbents like Noir (Aztec), Cairo (Starknet), and Leo (Aleo). Without an ecosystem or significant technical departure from existing ZKVM/ZKLang patterns, it remains a personal or early-stage experiment.
TECH STACK
INTEGRATION
cli_tool
READINESS