Pinned post
vyper telegram channel ;)
t.me/+Hye7pgvCU31hZ…
t.me/+Hye7pgvCU31hZ…
t.me Join group chat on Telegram Vyper
Verified account This account is verified. Learn more@vyperlang
12 Following 9.9K Followers 1.1K Posts
Latest posts 5
t.me Join group chat on Telegram it's a good cause to fund and we have some exciting results soon!
so if we want ethereum to win (first we need to survive, tbh lol), we need to fund its security. there are no shortcuts here guys. onchain security is everyone's problem, not someone else's job. TheDAO Security Fund (where i'm a curator, so yes, i'm totally biased) has a number of open security initiatives that deserve your attention and, more importantly, your funding. if your protocol depends on ethereum security work getting done, put in 10-15% and let TheDAO Security Fund help raise the rest. it's a lot cheaper than funding the entire thing yourself. and pledges are only collected once an initiative is fully funded. no free-riding. no money collected for initiatives that don't make it.
my personal top two picks are (remember i'm biased obviously so go thru them by yourself :)):
- formally verified Vyper compiler (initiatives.thedao.fund/initiative/vyp…)
- production-ready local-first Safe UI (initiatives.thedao.fund/initiative/pro…)
ethereum's security won't fucking fund itself. stop treating it as somebody else's problem. put some skin in the game.
initiatives.thedao.fund
PS: info on this second round paragraph.com/@thedao.fund/r…View quoted post on X
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!
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.fundView quoted post on X
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!View quoted post on X
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 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.View quoted post on X
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…
