“Applications now have complete control over how zero-knowledge proofs are created and optimized thanks to Pico, the first zkVM that gives developers the ability to alter prime fields, proving systems, proving systems, app-level coprocessor interfaces, and access to historical on-chain data.”