Log inSign up
AuditHub
284 posts
Image
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
243
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 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.
    69
  • 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.
    50
    user avatar
    AuditHub
    @AuditHubDev
    Jul 10
    Image
    Secret Network Proposes SCRT Move From Cosmos to Arbitrum
    From cointelegraph.com
    21
  • 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
    63
  • 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
    38
  • 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
    Image
    624
  • 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
    Image
    2.7K
    user avatar
    AuditHub
    @AuditHubDev
    Jul 9
    The breakdown:
    Image
    How Matter Labs Verified Determinism in ZKsync Airbender with Picus
    From audithub.dev
    137
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 8
    11% on code your own experts already picked clean is louder than any leaderboard number. That's the part nobody wanted to find.
    user avatar
    michael
    @no89thkey
    Jul 7
    Our CSO @succinct_li did it again 🔥 We've been building an AI agent for fully automatic software performance optimization. First real test: we pointed it at our own stack — code hand-tuned for years by some of the best performance engineers in ZK. It still found an amazing 11%
    72
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 8
    Formal Verification = Green Candle
    Image
    88
    user avatar
    AuditHub
    @AuditHubDev
    Jul 8
    Image
    ZEC jumps 12% as Zcash nears mathematical proof against hidden counterfeit bugs
    From theblock.co
    20
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 8
    The underrated part isn't ruling out today's bugs. It's that the proof re-checks itself against every future code change. A "found-nothing audit" ages the moment you touch the code. A proof of no-counterfeiting is a property you get to keep.
    user avatar
    Project Tachyon
    @TachyonZcash
    Jul 7
    Zcash's new Ironwood pool is being formally verified to rule out all undetectable counterfeiting bugs, up to the underlying cryptographic assumptions. tachyon.z.cash/blog/detecting…
    102
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 8
    The banking cutoff got the headlines, but losing access to auditors and core infrastructure is the part that quietly stalled a lot of teams. how much of the $22M really ties to direct banking harm.
    user avatar
    Dave Ripley
    Kraken
    @DavidLRipley
    Jul 7
    It's been a while since we talked about Chokepoint 2.0. Kraken will enter a $22M award with the Delaware Court of Chancery -- compensation for financial harm inflicted on us by the coordinated campaign to cut crypto off from banking, auditors, and other essential services.
    Image
    42
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 6
    "Check that the vault can't be paused by a non-admin." Type that into Claude Code or Codex. The agent turns it into a [V] spec, runs OrCa, and hands back the exact transactions that break it, if any do. That's the AuditHub MCP server.
    171
    user avatar
    AuditHub
    @AuditHubDev
    Jul 6
    walkthrough:
    Image
    AuditHub MCP Server: Run Security Tools From Your Agent
    From audithub.dev
    28
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 6
    A network selling itself as trustless and leaderless can't have its narrative ride on one person staying alive, solvent, and on-message.
    user avatar
    mert
    Helius
    @mert
    Jul 5
    the biggest risk to bitcoin is none of these things the biggest risk is the coin being socially and memetically centered around one dude instead of talking about monetary policy, state tyranny, scaling payments, robustness against quantum, BTCFi, privacy, block propagation or
    71
  • AuditHub reposted
    user avatar
    mert
    Helius
    @mert
    Jul 5
    the biggest risk to bitcoin is none of these things the biggest risk is the coin being socially and memetically centered around one dude instead of talking about monetary policy, state tyranny, scaling payments, robustness against quantum, BTCFi, privacy, block propagation or
    user avatar
    Michael Saylor
    Strategy
    @saylor
    Jul 5
    Article cover image
    Article
    Bitcoin Evolves by Not Changing
    Bitcoin’s greatest evolution over the next decade will come from changing less at the protocol layer and mattering more everywhere else. The base layer will harden. The capital markets will deepen....
    95K
  • user avatar
    AuditHub
    @AuditHubDev
    Jul 6
    Flash loan exploits rarely break the math. They break the assumption that borrow and redemption logic stay balanced under a single-block attack. Specification-guided fuzzing exercises those paths before they cost $6M
    48
    user avatar
    AuditHub
    @AuditHubDev
    Jul 6
    Image
    DeFi protocol Summer Finance exploited for $6 million; analysts point to flash loan attack
    From theblock.co
    18
Advertisement
Advertisement