Pythonic Smart Contract Language for the EVM https://xitter.cf/t.co/uufSrxAaax
wallet.vyper.eth
Joined November 2019
- Tweets1.1K
- Following12
- Followers9.9K
- Likes1.3K
Pinned Tweet
vyper telegram channel ;)
t.me/+Hye7pgvCU31hZjEx
Vyper is taking part in @thedaofund’s ETHSecurity Initiatives to fund the full formal verification of the compiler.
Help us build a future where every smart contract can be proven correct, all the way down to bytecode!
Donate!
Onchain security is everyone’s problem and nobody’s job.
ETHSecurity Initiatives is how we are changing that.
Propose the work. Fund the work. Build the work.
initiatives.thedao.fund/
Vyper retweeted
0/ As AI systems become more powerful, formal verification – which is the discipline of using mathematics to prove computer programs correct – shows more and more promise.
A guest thread by @big_tech_sux, lead developer of @vyperlang 🧵
great work on some @vyperlang contracts!
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 at all stages of development, across six continents.
Here’s a tl;dr thread of what we did🧵
Full report if you want to dip right in: discuss.ens.domains/t/ens-pu…
Vyper retweeted
We're opening the waitlist for our Monetization Gateway, which will allow you to charge for any web page, dataset, API, or MCP tool behind Cloudflare. The charges will settle in stablecoins over the x402 open protocol. cfl.re/4eUFdt6
happy to announce that vyupgrade is now stewarded by the vyperlang org on github
github.com/vyperlang/vyupgra…
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 0.4.3, as well as picking up dependencies and modules like snekmate.
some rewrites are not inherently safe and need your judgement. the tool flags those and shows you exactly what to look at.
$ uvx vyupgrade contracts/
github.com/banteg/vyupgrade
@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. 🧵👇
xitter.cf/arc/status/20702204811…
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 settlement
→ Escrow, subscriptions, splits, and spending limits
A blueprint for agents that transact under rules, not just send funds.
arc.io/blog/building-agentic…
Agentic workflows need to be _provably_ secure.
Vyper is a strong candidate for formal verification, as shown by its machine-checked formal semantics.
Properties of a contract can be mathematically proven.
xitter.cf/vyperlang/status/20542…
Vyper now has a public, machine-checked formal semantics 🔥
The first complete, precise, executable definition of what every Vyper program actually means, written in HOL4.
This builds on @Verifereum’s EVM semantics, which already comes with a growing library of proven properties about the EVM itself (gas monotonicity, storage isolation, etc.).
These three components are what you need to build agentic workflows on @Arc today:
1) Settlement layer
circle-titanoboa-sdk (circlekit) enables x402 payment flows and Circle Gateway integration, so agents can pay for services and resources using USDC on Arc.
Repo: github.com/vyperlang/circle-…
2) Identity layer
erc-8004-vyper implements ERC-8004 to define how agents trust each other permissionlessly.
Repo: github.com/vyperlang/erc-800…
3) Workflow layer
vyper-agentic-payments provides on-chain primitives for USDC custody, spending limits, task escrow, subscriptions, revenue splitting, and payment channels.
Repo: github.com/vyperlang/vyper-a…
Ready to build?
arc.io/blog/building-agentic…
Vyper retweeted
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 settlement
→ Escrow, subscriptions, splits, and spending limits
A blueprint for agents that transact under rules, not just send funds.
arc.io/blog/building-agentic…
Vyper retweeted
Smart agents need smart money rails. Vyper is building exactly that. – at Pune, India
Vyper retweeted
Looks like the options thing is happening already!
See also: various people thinking through and building different versions of the idea in the thread: ethresear.ch/t/building-inde…
Though I do strongly urge that if any of these get on mainnet quickly, we formally verify it first. I hope @vyperlang and/or github.com/lfglabs-dev/verit… folks ( @Fricoben) can help!
(Also, now is a good time to be thinking about robustness-optimized oracles)
firefly.social/post/x/206494…
Vyper retweeted
Vyper devs continue doing impressive things. Highly encourage people (and their bots) to take another look at the language.
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 0.4.3, as well as picking up dependencies and modules like snekmate.
some rewrites are not inherently safe and need your judgement. the tool flags those and shows you exactly what to look at.
$ uvx vyupgrade contracts/
github.com/banteg/vyupgrade
Vyper retweeted
defi's first fixed rate lending market written in @vyperlang? very interesting new mechanism.
Abstract methods are in Vyper v0.5.0a1 (alpha release).
Declare internal functions with @abstract , and implement with @override(module). All resolution happens at compile time via shortest-reachable-path rule (no virtual dispatch, no MRO).
Release: github.com/vyperlang/vyper/r…
Vyper now has a public, machine-checked formal semantics 🔥
The first complete, precise, executable definition of what every Vyper program actually means, written in HOL4.
This builds on @Verifereum’s EVM semantics, which already comes with a growing library of proven properties about the EVM itself (gas monotonicity, storage isolation, etc.).
Next step? Complete source-to-bytecode verification.
Once the Vyper compiler is formally verified against the Vyper semantics and EVM semantics, we’ll have full end-to-end guarantees:
source-level properties → proven compiler → guaranteed on-chain bytecode.
Developers will finally be able to ship code they can actually trust.
Huge shoutout to @Verifereum for the public machine-checked semantics (repo: github.com/verifereum/vyper-…)
and to @Sequent_Inc for major progress on verifying the compiler:
xitter.cf/vyperlang/status/20516…
