More on Vyper

How Vyper's design supports a depth of formal verification that could lead to improvements in smart contract security

How Vyper's design supports a depth of formal verification that could lead to improvements in smart contract security

𝕏/@vyperlang Β·

Vyper frontend is now directly emitting Venom IR, improving performance and paving the way for formal verification

Vyper frontend is now directly emitting Venom IR, improving performance and paving the way for formal verification

𝕏/@harkal Β·

Leviathan News deploys and open sources Squid DAO Vote calculator repository in preparation for October SQUID Drop

Leviathan News deploys and open sources Squid DAO Vote calculator repository in preparation for October SQUID Drop

Github Β·

Yield Basis releases the protocol core contracts, a suite of Vyper contracts and tests covering the autoleverage AMM and leveraged liquidity token

Yield Basis releases the protocol core contracts, a suite of Vyper contracts and tests covering the autoleverage AMM and leveraged liquidity token

Github Β·

Curve founder Michael Egorov celebrates being selected as an Ethereum torchbearer extolling the virtues of @vyperlang & inspiring DeFi sectors to positively impact our entire human civilization

Curve founder Michael Egorov celebrates being selected as an Ethereum torchbearer extolling the virtues of @vyperlang & inspiring DeFi sectors to positively impact our entire human civilization

𝕏/@newmichwill Β·

Curve dev Alberto highlights why Curve prefers Vyper over Solidity: Simpler Syntax, Enhanced Security, and Leaner Bytecode Optimize Smart Contracts for Safety, Audits, and EVM Efficiency

Curve dev Alberto highlights why Curve prefers Vyper over Solidity: Simpler Syntax, Enhanced Security, and Leaner Bytecode Optimize Smart Contracts for Safety, Audits, and EVM Efficiency

news.curve.finance Β·

Explore the full feed

Comments

Up nextLeviathan SQUID DAO launches recovery pool for lenders affected by Llama Lend bad debt on Fraxtal