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?
A demo of what I am building behind the scene( ZK RISC-V VM), the main repo is still local and have not done with @Zippel_Labs
I tried tinkering around copilot to see how vibe coding looks like -
github.com/this-vishalsin…
122 Followers 512 Followingprev @iitdelhi | fellow @join_ef | ml research @aisafetyfellows | cofounded @0xblocsoc
Like to read.
Toying with making LLMs faster
6 Followers 231 FollowingPlaying Web3 - someone aware of the game, chooses adventures, knows endgame & ways to achieve it. Enhances skills/stats, learns more each play.
31 Followers 204 FollowingAspiring Ethical Hacker & Pentester | 🌐 Learning to secure the digital world | 💻 Cybersecurity Enthusiast in Training | #InfoSec #Cybersecurity #LearningIs
259 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
231K Followers 23 FollowingMina is a zero knowledge (ZK) blockchain for proving anything. Building towards the private, provable web. Join us → https://t.co/jOZwteqalj
130K Followers 71 Following🚀 Expand | Trustless Authentication Layer for AI zk-Agents 🤖
Empowering AI with secure & verifiable data access using Zero-Knowledge Proofs. #ZK #AI #Layer