AuditHub
284 posts
@AuditHubDev
AuditHub is the collaborative auditing platform transforming how security teams secure their protocols. Built by security experts from @VeridiseInc
LLMs enable a new kind of radical self-reliance in software that even cypherpunks couldn't imagine.
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
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 exists, so risk stays contained instead of spreading
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 how you ship a zkVM.
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% speedups. Then we gave it a single round on ecdsa.fail, the open quantum computing benchmark by @eigencloud and @gajesh and it briefly took #1 on the leaderboard. Then we pointed it at @GPU_MODE. Top 20, in short order. ZK proving. Quantum circuits. GPU kernels. Three completely different frontiers all driven by one AutoEng agent. Performance engineering is one of the scarcest, most expert-driven skills in software. An agent that does it automatically doesn't just save engineering time: it changes the economics of building fast systems.
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…
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.
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 any of the other ideologically or technologically interesting things for the past year, the entire discourse has been: "did boomer man sell or buy?" btw, no the point is not to "not change", what you mean to say is that a monetary base must be low entropy. meaning it must be resilient against surprises (you cant build a stone castle on quicksand), but quantum is precisely a surprise
