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
The @ENS_DAO Public Goods Working Group has been sunsetted after 4.5 years of existence.
Was it perfect? Hell no! But in that time we funded open source compilers, developer tooling, privacy tooling, builder incubators, education programs, policy and ICANN research and builders
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
introducing vyupgrade
it automatically rewrites old vyper contracts into modern vyper, then proves the rewrite is safe by checking it compiles under both source and target versions, diffing the abi, method ids and storage layout.
it supports all syntax changes from 0.2.1 to
@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
