AuditHub is the collaborative auditing platform transforming how security teams secure their protocols. Built by security experts from @VeridiseInc
Austin
Joined February 2025
- Tweets533
- Following81
- Followers257
- Likes1.1K
AuditHub retweeted
Our Chief Research Officer @ShankaraPailoo2 will be at Unchained Summit India this week talking about formal methods and blockchain security.
Expect a practical take on what it actually takes to verify zero-knowledge systems instead of treating them as black boxes.
Worth attending if you’re in Mumbai.
Securing blockchain applications requires more than identifying vulnerabilities. It calls for rigorous methods to verify that systems work as intended.
Shankara Pailoor, Chief Research Officer at @VeridiseInc, joins the Unchained Summit India speaker lineup, bringing deep expertise in blockchain security, formal methods and program verification.
At Veridise, he leads the development of automated tools to detect vulnerabilities in blockchain systems, particularly zero-knowledge proof systems. His research background, including work published at leading computer science and security conferences, adds a strong technical perspective to the evolving Web3 security landscape.
📍 Courtyard by Marriott, Mumbai | 5–6 November 2026
US$ 199 passes are moving fast. Book yours today and get ready for two days in Mumbai: unchainedsummit.com/india
#AnEventbyAeternum #UnchainedSummit #ShankaraPailoor #Veridise #BlockchainSecurity
ALT Shankara Pailoor of Veridise joins Unchained Summit India as a speaker.
Also try these power features:
✦ Press ⌘J (Mac) or Ctrl+J (Windows) to rewrite with AI
✦ Drag & drop media directly into the editor
✦ Use the top right buttons to share & organize drafts
✦ Check out the Calendar & Analytics pages
Stas @kulm1nski is in at Devcon 2026!
Don't hesitate to say Hi when you'll see him!
An audit report describes your code the day it froze.
AuditHub, developed by the @Veridise team, keeps Vanguard, OrCa, ZK Vanguard and Picus running in your CI as it changes.
@kulm1nski VP of Business Development, is at Devcon 8 to walk you through it.
Mumbai, Nov 3 to 6.
AuditHub retweeted
In-house security is not a headcount line, it is a response time.
External audits answer in weeks. Code ships daily.
The gap between those two numbers is where incidents live.
AuditHub retweeted
An AI agent’s guardian hits suspend. One block later, the agent is back.
That was a live path in an earlier ERC-8468 draft. The agent named a second key it controlled, with the right to resume.
Agent safety fails the same way access control does. Audit who else holds the key.
ethereum-magicians.org/t/erc…
In-house security is not a headcount line, it is a response time.
External audits answer in weeks. Code ships daily.
The gap between those two numbers is where incidents live.
AuditHub retweeted
An hour per bug. That was the cost of tracing why a ZK circuit failed its proof, by hand.
@ShankaraPailoo2: an AI pass named the cause in seconds. Developers confirmed every one.
An hour per bug. That was the cost of tracing why a ZK circuit failed its proof, by hand.
@ShankaraPailoo2: an AI pass named the cause in seconds. Developers confirmed every one.
AuditHub retweeted
A future quantum computer cracks one Zcash refund address. Every payment that account ever received links together.
Zakura’s fix: a separate viewing key for each NEAR Intents swap. One leaked address exposes one swap.
coindesk.com/tech/2026/10/19…
A future quantum computer cracks one Zcash refund address. Every payment that account ever received links together.
Zakura’s fix: a separate viewing key for each NEAR Intents swap. One leaked address exposes one swap.
coindesk.com/tech/2026/10/19…
AuditHub retweeted
You rewrote a ZK circuit to cut constraints. Does it still compute exactly what the original did?
Tests check the inputs you thought of. LLEQ hands the question to an SMT solver, which reasons over all of them.
@RaghavMalik15 shows how to run it.
AuditHub retweeted
@aztecnetwork published a full post-quantum roadmap targeting 2030.
The sequencing stands out. Hardened libraries for private data land in early 2027, ahead of any proof system replacement.
Harvest-now-decrypt-later exposure gets addressed first.
thedefiant.io/news/blockchai…
