Making Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents
A verified Ethereum e-invoice contract makes duplicate reimbursement impossible, including for LLM agents.
5 stories, newest first · one card per story
A verified Ethereum e-invoice contract makes duplicate reimbursement impossible, including for LLM agents.
A Polygon smart-contract design mitigates the last-revealer attack in commit-and-reveal on-chain lotteries.
Researchers prototype Ethereum voting for hospital ethics committees with public receipts but no secret ballots.
IntentFuzz protocol-aware fuzzer recovers bridge structure from unannotated Solidity and confirmed 22 invariant violations across 24 real-world deployments.

Checkmarx argues Solidity developers need pre-deployment AppSec because disclosure-to-weaponization time has collapsed from 840 days to 1.6 days.
Today 1.6K readers · 2.5K views · 779 reads · all time 189K views