AI Formal Verification for Smart Contracts: What the Check Can Show
On November 11, 2026, at 12:36 (UTC+8), an article described AI formal verification aimed at smart contracts. The…
-
Foundry nightly of 10 November 2026 records forge, anvil, cast, and fuzz changes
-
Bitcoin’s Proposed Quantum Landmines: How Collateral Could Deter Key Theft
-
Base Denim upgrade: what changes for Flashblocks apps, timestamps and B20 tokens
-
Slang alpha for Hardhat 3: reported compile-time gains and current limits
-
Foundry’s November 9, 2026 nightly lists formatter and invariant fixes
-
Solidus: What Paradigm’s Verified Solidity Compiler Proves—and What Remains Unfinished
-
Bitcoin PACTs explained: timestamping key control before a possible quantum sunset
-
Solidity Interview Repository Hid Malicious VS Code Terminal Profiles: What to Check
Further reading
-
Fomo Bookmark Phishing: How a Fake CAPTCHA Targeted Embedded-Wallet Credentials
-
Lighthouse v8.3.3: High-priority security update for beacon nodes
-
Space and Time Enterprise: Verifying Private-Data Calculations Without Opening the Database
-
Ethereum gas: distinguish work, price, and spending caps
-
Ethereum finality: from a quick receipt to finalized settlement
-
Smart contracts: inspect the rules and the people who can change them
-
Token approvals: understand the permission before the swap
-
Token supply: read minting, burning, vesting, and circulation separately
Read more
-
Stablecoin mechanics: identify the route back to the target value
-
Stablecoin reserves: read the assets, liabilities, and access terms
-
DeFi collateral: calculate the buffer before borrowing
-
AMM liquidity: what a pool position actually owns
-
DEX slippage: distinguish the quote, price impact, and tolerance
-
Oracle design: examine where a protocol gets its facts
-
Blockchain bridges: trace the claim on both sides
-
Rollups: separate execution speed from settlement guarantees
All articles
-
Protocol governance: follow a proposal through to execution
-
Multisig wallets: a threshold is only the beginning
-
Wallet backups: test recovery before you need it
-
Crypto phishing: inspect the requested authority, not the urgency
-
Transaction explorers: read evidence without overreading labels
-
Onchain metrics: define the observation before telling a story
-
Trading volume quality: inspect what was counted and where
-
Market capitalization: useful arithmetic with important limits