1. X
  2. AuditHub
Log inSign up
AuditHub
291 posts
user avatar
AuditHub
@AuditHubDev
AuditHub is the collaborative auditing platform transforming how security teams secure their protocols. Built by security experts from @VeridiseInc
Austin
audithub.dev
Joined February 2025
60
Following
244
Followers
RepliesRepliesMediaMedia

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 13
    Protocols going agentic is the real shift. It also moves the security burden. When a protocol acts on its own, no human is approving each move. The logic you shipped is what runs, unattended, and a bad state transition just executes. So the verification has to live in the build
    user avatar
    Vanishree Rao
    @vanishree_rao
    Jul 9
    agentic software already gave us tools on peripheries - tools for users to agentically interact with protocols but unfortunately protocols themselves remained passive without protocols being agentic - no net new market segments for today's apps, no new apps. no net new users.
    80
  • AuditHub reposted
    user avatar
    Eli Ben-Sasson | Starknet.io
    StarkWare 🥷
    @EliBenSasson
    Jul 12
    Problem: Verifying identity is becoming a massive challenge, especially in the AI era. A bad solution to the problem would be more surveillance and less privacy to prove identity. A good solution would be to prove things differently. Use math to prove identity and retain
    user avatar
    Cointelegraph
    @Cointelegraph
    Jul 10
    ⚡️ JUST IN: StarkWare founder Eli Ben-Sasson says identity scanning has already lost to AI, arguing that zero-knowledge proofs verify users without collecting personal data.
    user avatar
    MSB Intel
    00:00
    user avatar
    MSB Intel
    7.7K
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 10
    The cypherpunks wanted to trust no one. Generating code faster doesn't get you there if you can't verify what came out.
    user avatar
    Manuel Aráoz
    @maraoz
    Jul 9
    LLMs enable a new kind of radical self-reliance in software that even cypherpunks couldn't imagine.
    95
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 10
    Secret Network is migrating partly because AI can now generate exploits against outdated code faster than teams can patch it. Attackers already run on every commit. Your verification should too. Not once a quarter.
    74
    user avatar
    AuditHub
    @AuditHubDev
    Jul 10
    Secret Network Proposes SCRT Move From Cosmos to Arbitrum
    From cointelegraph.com
    36
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 10
    The "mathematically impossible counterfeiting" line is the one that matters. Shielded value only works if the constraints actually hold. Proving that, not assuming it, is the whole game for private money.
    user avatar
    mert
    Helius
    @mert
    Jul 10
    colossal - makes undetectable counterfeiting mathematically impossible through FV - adds quantum recoverability!! - proves no exploit happened - is happening in 2 weeks, not next year a gigantic upgrade for private money
    73
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 10
    Security as the foundation, not a feature, is exactly right at this scale. institutions won't take containment on faith. They'll want to see that one domain's failure genuinely can't cross into another, proven, not just architected.
    user avatar
    Sandeep | CEO, Polygon Foundation (※,※)
    Polygon | POL
    @sandeepnailwal
    Jul 9
    You cant ask the biggest institutions on earth to move trillions of dollars onchain if one failure anywhere in the system can put everyones money at risk. at that scale security isnt a feature you add, its the foundation everything else sits on. thats the whole reason @Agglayer
    48
  • AuditHub reposted
    user avatar
    Kostas Ferles
    @KFerles
    Jul 9
    Picus targets the most dangerous bug class in a zkVM: underconstrained circuits. During our engagement with zkSync, Picus proved determinism on the majority of their circuits and caught a critical bug that would have let a prover forge branch logic.
    user avatar
    AuditHub
    @AuditHubDev
    Jul 9
    Passing tests wasn't the bar @the_matter_labs set for the Airbender V2 prover. Proof was. Picus verified 21 of 26 @zksync Airbender circuits as deterministic, ruling out a large class of soundness bugs ahead of the upgrade. Three criticals found and fixed along the way. This is