BioBind binds biometric deduplication to zero-knowledge authentication
A prototype rejects tested composition attacks; its unlinkable circuit uses 31,445 constraints and about 305,000 gas.
Stories per day · 30 days
1 RSS
Relatedbenchmark2ai-agents1arbitrum1authentication1base1biometrics1blockchain1deduplication1ethereum1evm-chains1layer-21optimism1protocol-mutation1zero-knowledge1
18 stories, newest first · one card per story
Stories tagged #smart-contracts
TxBench benchmark for malicious transaction detection on EVM chains
TxBench includes 1012 attacks worth $868 million from 602 incidents
CONSTRAINTDIAL mutates protocols to build smart contract security tasks
From 203 public cases it builds 3,045 detect, exploit, and patch tasks that copied answers solve less often.
Paper proposes metrics to pick Layer 2 networks for smart contracts
Authors score Arbitrum, Optimism, and Base over six months of transactions using user-defined priority profiles.
Understanding Verification Vulnerabilities in Cross-chain Bridges: An Empirical Study
Study of 36 cross-chain bridges finds 830 verification-vulnerability instances across 11 patterns.
AgentValve: Sybil-Resilient Payment Authorization for Permissionless AI Markets
AgentValve bounds Sybil-driven payment loss for AI agents using capacity-limited trust paths on Ethereum.
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.
Analyzing Solana's Blocks and Transactions
A study of one million Solana blocks measures transaction mix, fees, programs, and intra-block conflicts.
Verifiable Randomness for Blockchain-Based Lottery Systems
A Polygon smart-contract design mitigates the last-revealer attack in commit-and-reveal on-chain lotteries.
Staged Multi-step UTXO Workflows via Recursive Invariants
Paper proposes recursive invariants, a transaction-level logic and typed DSL, to enforce multi-step UTXO workflow rules without shared mutable state.
SkelOT: Reusing AOT Compilation Across EVM Contract Families
SkelOT reuses one native AOT artifact per EVM contract family, cutting Base compile units by 47.5%.
Detecting Logic Vulnerabilities Across the Contract and Device Layers of Blockchain-Enabled IoT With Multi-Agent Heterogeneous Graph Attention
MA-HGAT framework detects logic vulnerabilities across smart contract and IoT device firmware layers using multi-agent heterogeneous graph attention.
TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction
TasmScan introduces source-free taint analysis for TON smart-contract bytecode, detecting 95.3% of defects with 96.8% precision and 17x speedup.
Efficient Branch-and-Bound Testing and Verification of zkVMs
ZEBRA verifies zkVM constraint systems via branch-and-bound cardinality counting, finding 11 zero-day bugs across five real-world zkVMs and running 51.5x faster than SMT verification.
IntentFuzz: A Protocol-Aware Fuzzer for Automated Invariant Violation Detection in Intent-Based Cross-Chain Bridges
IntentFuzz protocol-aware fuzzer recovers bridge structure from unannotated Solidity and confirmed 22 invariant violations across 24 real-world deployments.
Function Name Is All You Need to Detect Blockchain Application Attacks
TxLucent detects blockchain dApp attacks from transaction function-name sequences using a transformer, achieving 1.56% false negatives without source code.
On Identifying Sound Conditions for Frontrunning Resistance
Researchers formally define smart-contract frontrunning resistance, showing 55% of 393 audited vulnerabilities escape state-of-the-art detection, and find two undisclosed Ethereum flaws.
There Is No Patch Tuesday on the Blockchain: Why Solidity Developers Need Fusion-Grade AppSec Before They Deploy
Checkmarx argues Solidity developers need pre-deployment AppSec because disclosure-to-weaponization time has collapsed from 840 days to 1.6 days.