The lean Ethereum team has been doing a truly amazing job kicking into gear this year, and delivering on all fronts to ensure Ethereum's long-term scaling, decentralization and resilience.
I expect all of these ideas will be ready to kick into gear at roughly the same time as…
The lean Ethereum team has been doing a truly amazing job kicking into gear this year, and delivering on all fronts to ensure Ethereum's long-term scaling, decentralization and resilience.
I expect all of these ideas will be ready to kick into gear at roughly the same time as…
Running on the path of rust, out of three repo - evm contracts, actions repo, & solana contracts. I was running into a solana rust contract, and again I found that the lack of Completeness bug can compromise the system.
interestingly is that the code is similar to Solayer 😅
Running on the path of rust, out of three repo - evm contracts, actions repo, & solana contracts. I was running into a solana rust contract, and again I found that the lack of Completeness bug can compromise the system.
interestingly is that the code is similar to Solayer 😅 https://t.co/FllcUyaY91
Out of two repo - svm rollup & svm engine, I focused on breaking svm engine where I found lack of completeness can halt the system.
Why not svm rollup repo bcz most of the parts were rpc, and after client feedback they were not concerned about it. Interestingly they were right.
Out of two repo - svm rollup & svm engine, I focused on breaking svm engine where I found lack of completeness can halt the system.
Why not svm rollup repo bcz most of the parts were rpc, and after client feedback they were not concerned about it. Interestingly they were right. https://t.co/7LzWoXr39V
Finding bugs in SNARKs systems is like breaking for these three impact vulnerability
- Breaking Soundness.
- Breaking Completeness
- Breaking Zero knowledge
As these are main properties in protocols, and mostly impacted components are circuits & integrated parts.
Finalization failure bug in Polygon zk rollup is very good example of completeness, you read - arxiv.org/pdf/2410.12210
The vulnerability allows a prover to submit proofs of a true statement that leads to an invalid verification by a verifier.
This year, alongside major Ziren upgrades and real-time proving on Bitcoin (@GOATRollup), we've published a long series of tech explainers on prover internals, recursion, lookups, memory, and ISA choices: zkm.io/blog
Check out the 2025 ZKM blog index ⤵️
Today I was reading @ Zcash - Soundness bug due to trusted setup leak.
Imo the likelihood of the issue is medium/low if it was reported in competition/bb that's why it. was undiscovered by external actors.
For full article read below.
Don't forget to train your self vai reading books, blogs, research papers, training practical courses, past security reports.
IMO it's better than spending 200 dollars per month on AI. They cannot beat you.
What if they are gone tomorrow?
121 Followers 515 Followingprev @iitdelhi | fellow @join_ef | ml research @aisafetyfellows | cofounded @0xblocsoc
Like to read.
Toying with making LLMs faster
36K Followers 2K FollowingExpert web3 bug bounty and crowdsourced audit platform with 220 programs and over 20 million in bounty
DS: https://t.co/41lshly4dI
YT: https://t.co/cLUr6ODztP
11K Followers 2K Followingbuilding india cabal @arbitrum @arbitrum_india; prev: @coindcx; founder @superwomendao | ⚒️ a sports community | ⚽️ enjoyooor and a garlic 🥖simp
10K Followers 3K Followingwriter & podcaster; my newsletter: Concurrent; i care about eth, silicon valley, china. prev @newsbreakapp @smartnews @realmasknetwork @columbia @lsenews
260 Followers 101 FollowingLead protocol engineer building Telcoin Network. Telcoin Association Treasury Council + TAO. Very excited about the future 🚀
2K Followers 227 FollowingProtocolo de identidad digital descentralizada | Interoperable y basado en Blockchain | Validá tus credenciales sin exponer tus datos | Desarrollado por @GCBA