Pilot Cohort

Vyper is a Pythonic smart contract language for the EVM, conceived in 2016, that focuses on security, simplicity, and readability. It makes contracts easier to audit and less prone to common pitfalls while producing gas-efficient bytecode. The team recently established the Foundation for Verified Software as the institutional home for their work, and became Project Odin's first pilot participant.

Phantom Zone is a cryptography research and development organisation focused on building advanced cryptographic tools. Their work spans production-ready FHE libraries and an experimental RISC-V FHE virtual machine, among other things.

arkworks is a Rust ecosystem for zkSNARK programming. Its libraries provide efficient implementations of all the components required to build zkSNARK applications, from generic finite fields to R1CS constraints for common functionalities.