Pico v1.0, a zero-knowledge virtual machine (zkVM) for modular and flexible verifiable computing, empowers developers to construct a zkVM in a modular lego-like manner. Brevis is a ZK coprocessor or computation network designed to improve blockchain scalability.