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.

Nethermind is one of Ethereum's core execution-layer client teams, building the Nethermind client: a high-performance, security-focused implementation. The team spent years in the high-stakes work of client engineering, shipping performance gains, hardening against consensus bugs and pushing the ecosystem toward the client diversity that keeps Ethereum resilient.

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.