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 ยท

Vyper server extension for Visual Studio Code released

Vyper server extension for Visual Studio Code released

marketplace.visualstudio ยท

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 ยท

Explore the full feed

Comments

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