Smart contract audits and blockchain security tools using formal methods and automated analysis.
Last 6 months · Weekly commits
Precise Attack Synthesis for DeFi Apps
Connect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Ope…
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source…
Veridise documentation website monorepo
Midnight ZK
Picus Constraint Language MLIR dialect
Frame Transactions would let accounts define their own authorization rules: recovery, multiple approvals, alternative signature schemes. Logic that currently lives in wallet code moves into the protocol. So does its failure surface. https://thedefiant.io/news/blockchains/buter…
A function that forwards caller-supplied calldata into a low-level call can perform any operation the target's interface exposes. Nobody designed that set. No auditor reviewed it. New Auditor's Take from @FormallyJon covers the class. https://veridise.com/blog/audit-insights/a…
Solana is testing Alpenglow on testnet. Finality drops from 12.8 seconds to 150 milliseconds. The validators get tested. The integrations don't. Every bridge and deposit flow holding a confirmation constant tuned for 32 slots carries an assumption nobody…
AI-optimized cryptographic code is now 6x faster at quantum-proofing a Bitcoin transaction. Fast is measurable. Equivalent is not, unless someone proves it. https://www.coindesk.com/tech/2026/09/24/a-week-of-ai-coding-cut-a-quantum-safe-bitcoin-transaction-estimate-from-usd320-…
