Back to Organizations
Vyper
Vyper is an open-source smart contract programming language for the Ethereum Virtual Machine (EVM), designed with a Pythonic syntax and a strong emphasis on security, simplicity, and readability. It serves smart contract developers and protocols who need auditable, gas-efficient code, and is used by major DeFi protocols such as Curve and Aerodrome Finance.
Distributed
Description
Vyper is a smart contract language built for the EVM that prioritizes security, simplicity, and readability over feature complexity. It eliminates entire classes of vulnerabilities by design through built-in overflow checking, reentrancy guards (via the @nonreentrant decorator), and bounds checking, while producing highly optimized bytecode comparable to low-level assembly. The project is pursuing deep formal verification, including a machine-checked formal semantics for Vyper in HOL4 (vyper-hol), compiler correctness proofs, and a validated formal EVM model, to narrow the gap between source-level security properties and deployed bytecode behavior. Vyper has first-class support in popular development frameworks including Titanoboa, Moccasin, Ape, Hardhat, Foundry, and Remix, and its code has been independently audited by firms such as ChainSecurity, OtterSec, Anatomist, and Statemind. Its typical users are smart contract developers, auditors, and DeFi protocols (e.g., Curve, Aerodrome Finance) seeking clearer, safer, and more gas-efficient alternatives to Solidity. The project is sponsored by prominent Ethereum ecosystem organizations including Curve, Ethereum Foundation, Optimism, Lido, Yearn, Aerodrome Finance, Arbitrum, Polygon, Octant, and ENS.Grant Funding
VC Funding
ARB
$784
$0