official slither support for Vyper, plus echidna and medusa support come 'for free' 😃. try it out! github.com/crytic/slither…

Slither now supports Vyper and includes 5 new detectors, thanks to Vyper and Dan Guido 😉

Foundry UX is also much improved: tests and scripts are now excluded, and Slither can run on single files.
github.com/crytic/slither…

Official #vyperday event! Nov 16 at Devconnect.eth 2023 in Istanbul

Registrations open at devconnect2023.vyperlang.org!

Additional information in the following thread (via ApeWorX Ltd. who is kindly taking on responsibilities around event organization! 🙏)

native support for frame.eth with titanoboa. deploy and interact with vyper contracts natively using local private keys, jupyter notebooks or frame.eth. what are you waiting for!

titanoboa now connects to frame.eth natively! just use `boa.env.add_accounts_from_rpc('http://localhost:1248')`

#titanoboa #vyperlang #fun

vyper 0.3.10 is out! github.com/vyperlang/vype… for binaries, pypi.org/project/vyper/… from pip

by the way, i want to add emphasis that after the events of jul 30, we have tripled down on security efforts at vyper, not just in words but in follow through as well. a vyper audit contest is currently ongoing with CodeHawks (funded with $160k total prize pool, /

Vyper v0.3.10 is out! github.com/vyperlang/vype… is a performance focused release, featuring O(1) selector tables 😱 as well as a codesize/gas optimization switch. v0.3.10 also went through substantial review by both ChainSecurity and OtterSec, making it the most heavily /

github.com/a16z/halmos/pu… halmos integration 🙈

🔥EIP-5656: MCOPY - Memory copying instruction🔥
Recording of the talk on #Dencun proposal for #EVM improvement by axic.eth Paweł Bylica sudo init vyper is available 👇
youtu.be/m_YzKuL2VxM

Ipsilon Vyper #PEEPanEIP Ethereum Cat Herders | EthCatHerders.eth #eip5656

heads up, open access to certora prover for all vyper users until 12/31!

Brought to you by DeFi giants and the CodeHawks team

We've joined forces with Vyper to make the eco-system more secure.

This was made possible thanks to the contributions of Curve Finance , Lido , yearn, Uno Re DAO, and the Vyper community

(7/7)

We're thrilled to see CodeHawks hosting a Vyper compiler auditing competition and eager to contribute towards strengthening a key part of our network.

Jump into Vyper, spot bugs, report them, and grab your share from the prize pool.

Happy hunting 🏹

If you're you're not joining the Vyper code audit competition, you're missing out.

- There's a $160,000 prize pool 💰
- It starts today.

and everyone knowing Python can take part.

Here's everything you need to know to join:

(1/7)

slither support for Vyper - very nice working with Trail of Bits and alpharush on this!

one of my favorite things about Vyper and Titanoboa are how easy they make it to experiment at the EVM level

here I wrote a custom precompile so I can test smart contracts that use EIP-7212

and it’s ~25 lines of python total

thread coming soon

Thanks to a generous grant from Vyper, we are working to bring full support for #Vyper to Slither and Echidna. Follow along on the PRs here:
github.com/crytic/slither…
github.com/crytic/echidna…

The sneks are mating

certora prover for Vyper -- prove things about vyper bytecode :)

Our formal verification Prover now supports Vyper! 🐍🐍🐍

Learn how the Prover's pipeline works & see a real-world Vyper code verification example in our latest blog by John Toman

medium.com/certora/decomp…