Login
AI agents find $4.6M in blockchain smart contract exploits
(red.anthropic.com) by bpierre | view | 121 comments
Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract
(github.com) by hyunhum | view | 1 comments
AI Wealth Managers and Smart Contracts = Dead People Controlling Money Forever
(lightcapai.medium.com) by kinderpingui | view | 1 comments
AI-Driven Smart Contract Vulnerability Research
(docs.google.com) by wslh | view | 0 comments
Show HN: Verity, Formally verified smart contracts from spec to bytecode
(github.com) by th0rgal2 | view | 1 comments
AI-Driven Smart Contract Vulnerability Research
(github.com) by wslh | view | 0 comments
Show HN: Making missed workouts cost money with Android TEE and smart contracts
(pedrooaugusto.github.io) by the42thdoctor | view | 0 comments
OpenAI and Paradigm Launches EVMbench to Test AIs on Smart Contract Security
(timescrypto.com) by Alan_Writer | view | 0 comments
OAI: EVM Bench LLM Accuracy on Smart Contract Review and Pentesting
(openai.com) by GustavHartz | view | 0 comments
Show HN: FitVow – a smart contract that fines me if I miss weekly fitness goals
(fitvow.pedroaugusto.dev) by the42thdoctor | view | 1 comments
Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna
(github.com) by galapago | view | 0 comments
Frontier AI Models Demonstrate Human-Level Capability in Smart Contract Exploits
(decrypt.co) by wslh | view | 0 comments
AI Smart Contract Auditor
(smartcontractauditor.ai) by ninjafromqueens | view | 1 comments