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.7K Takipçiler
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
Only one week left to donate to Vyper in the current Ethereum Security QF Round. Help us build the most optimized, secure, and first fully verified compiler in web3!
Giveth@Giveth
If you’re tired of watching exploits dominate the timeline, this is your moment to act. The Ethereum Security QF Round is LIVE! Support the people and projects securing Ethereum and its L2s. 500 ETH (~$1M+) in matching from @thedaofund. Explore & donate: qf.giveth.io/qf/ethereum-se…
English
Vyper retweetledi
Vyper FV velocity is mind boggling. 12 months ago this was not even on the horizon... Crazy times!
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
This is a glimpse of what theorem-prover-based verification looks like, stay tuned for more updates on our recent work in this field. And special thanks to our partners @Verifereum for their fundamental work on EVM semantics in HOL4 and @Sequent_Inc for their automation agent!
English
