Sabitlenmiş Tweet
Vyper
1.1K posts
Vyper
@vyperlang
Pythonic Smart Contract Language for the EVM https://t.co/uufSrxAaax
wallet.vyper.eth Katılım Kasım 2019
12 Takip Edilen9.9K Takipçiler
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
SP 🔥@Sim_Pop
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-public-g…
English
Vyper retweetledi
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
English
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
banteg@banteg
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/vyupgra…
English
Vyper retweetledi
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-…
English
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/circ…
2) Identity layer
erc-8004-vyper implements ERC-8004 to define how agents trust each other permissionlessly.
Repo: github.com/vyperlang/erc-…
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/vype…
Ready to build?
arc.io/blog/building-…
English
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.
x.com/vyperlang/stat…
Vyper@vyperlang
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.).
English
@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. 🧵👇
x.com/arc/status/207…
Arc@arc
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-…
English
Vyper retweetledi
@arc @vyperlang Smart agents need smart money rails. Vyper is building exactly that.
Pune, India 🇮🇳 English
Vyper retweetledi
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-ind…
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/ve… folks ( @Fricoben) can help!
(Also, now is a good time to be thinking about robustness-optimized oracles)
firefly.social/post/x/2064949…
English
Vyper retweetledi
Vyper devs continue doing impressive things. Highly encourage people (and their bots) to take another look at the language.
banteg@banteg
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/vyupgra…
English
probably not
@Zharta’s fixed rate fixed term lending protocol totally written in @vyperlang was first deployed on october last year 🙂
wavey@wavey0x
defi's first fixed rate lending market written in @vyperlang? very interesting new mechanism.
English
Vyper retweetledi
defi's first fixed rate lending market written in @vyperlang? very interesting new mechanism.
Flex@flexmeow
English
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/vype…
English
Huge shoutout to @Verifereum for the public machine-checked semantics (repo: github.com/verifereum/vyp…)
and to @Sequent_Inc for major progress on verifying the compiler:
x.com/vyperlang/stat…
Vyper@vyperlang
250k LOC (130k in April alone!), near 10 000 theorems and we’re closing in on a fully formally verified compiler. Here are a few highlights from our recent work on verifying Vyper
English
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.
English
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.).
English