谛听Diting Lab

Crypto & Blockchain · Sun, Oct 4, 2026

Bitcoin, Ethereum, stablecoins, DeFi, smart contracts, scaling and consensus.

arXiv cs.CR · cs.SY · eess.SY

Cross-chain Access Control for Permissioned Blockchain Interoperation

In briefCross-chain access control for permissioned blockchain interoperation

SummaryThis paper proposes InterAcct, an end-to-end access-control framework for secure interactions between permissioned blockchain networks. Outgoing requests are converted into a consortium-level representation before being shared, so internal sensitive information is not exposed, and responses are securely mapped back to the original requester. Experiments show that InterAcct enforces end-to-end access control for cross-chain request-response interactions with low additional overhead and keeps working effectively as workload increases.

Tirthankar Sengupta, Bishakh Chandra Ghosh, Sandip Chakraborty et al.

arXiv cs.CR

ContractLens: Latent Security Knowledge for Malicious Smart Contract Detection

In briefContractLens: Using an LLM's Internal Security Knowledge to Detect Malicious Smart Contracts

SummaryThis paper presents ContractLens, a framework for detecting malicious smart contracts. Instead of relying on prompt engineering or attack-specific fine-tuning, it identifies key layers and neuron units inside a frozen pretrained language model that distinguish malicious from benign contracts, then trains a lightweight classifier on them. Masking these units causes larger performance drops than masking random neurons, and the method achieves higher average accuracy across three pretrained models. The authors also report generalization to unseen malicious intents.

Shuyi Miao, Xinyi Huang, Wangjie Qiu et al.

★★★★☆ Notable
IACR ePrint Cryptographic protocols

Ziren: Succinct Arguments for MIPS32 Execution

In briefZiren: Succinct Proofs for MIPS32 Program Execution

SummaryThis paper presents Ziren, a production zero-knowledge virtual machine for MIPS32r2 that supports 77 user-mode integer instructions and has proved Ethereum mainnet blocks end to end. The authors verified 104 determinism theorems in Lean 4, covering 57 of 62 core chips, and report 12.0 MHz proving throughput on one RTX 5090 GPU. The interactive composite security estimate is 93.5 bits, but end-to-end knowledge soundness depends on five stated hypotheses and no numerical bound is given for the cross-shard digest.

WhyPresents a production MIPS32 zkVM with 104 mechanically extracted determinism theorems verified in Lean 4, giving strong evidence and moderate field impact.

Stephen Duan, Jingping Yin, Blake Hou et al.

arXiv cs.CR

Post-Quantum Authentication Protocol for Internet of Medical Things

In briefPost-quantum authentication protocol for medical IoT devices

SummaryThis paper addresses tampering, impersonation, and replay attacks on medical reports sent from patient devices to gateways in the Internet of Medical Things (IoMT), with attention to long-term security against quantum attacks. It proposes a protocol using an ISIS-like lattice-based signature construction combined with blockchain concepts, including a trusted ledger that tracks each patient's trust score. A prototype demonstrates registration, signing, verification, and auditing, and the authors argue that batch verification outperforms simple per-signature validation in large-scale systems.

Kartick Sutradhar, Ranjitha Venkatesh