Pinned
- We are excited to announce that we are working with @CurveFinance to formally verify LP safety for 2-coin StableSwap! These are machine-checked mathematical proofs in higher order logic, not an audit. First proofs are green, with more in the pipeline! 🧵 1/
- We are sad to see ENS shutting down its public goods grants, but also incredibly thankful that Vyper was able to benefit from it last year. The grant allowed us to improve the compiler, start work on formal verification and unlock matching funding from @ethereumfndn. 1/2
- happy to announce that vyupgrade is now stewarded by the vyperlang org on github github.com/vyperlang/vyup… many thanks to @banteg who will remain onboard as maintainer of the tool
- @arc provides the infrastructure for agentic commerce. Real-world financial activity, run autonomously by AI. That's why the agentic stack is built with Vyper. 🧵👇Vyper on Arc Testnet shows what comes after agentic payments. Agents need more than wallets. They need identity, settlement, and programmable controls. @vyperlang is building toward agentic economic workflows with: → ERC-8004 agent identity → x402 payment flows → USDC
