Until now, creating zk circuits has been an extremely difficult and cost prohibitive venture. Existing solutions introduce new complexities and limitations, and force devs to learn new DSLs with immature ecosystems. Risc0 allows developers to build in ZK in traditional languages. (2023-08-08)