Solidity (Product): news timeline & CVEs

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.

The paper designs an Ethereum e-invoice system that represents each invoice as a non-fungible, non-tradable token moving through five guarded subsystems. Under standard cryptographic and consensus assumptions it proves reimbursement uniqueness, keccak256 face integrity, and authorization soundness, with inductive invariants checked by Solidity SMTChecker. On a private network, issuance costs 646,773 gas, full reimbursement stays under 135,000 gas, and one node sustains 137 issuances per second. The verified contract is offered as a safety envelope that rejects duplicate, over-limit, or forged claims from LLM reimbursement agents.

arXiv cs.CRSep 29, 15:28 UTC · 9d agoResearch

Verifiable Randomness for Blockchain-Based Lottery Systems

A Polygon smart-contract design mitigates the last-revealer attack in commit-and-reveal on-chain lotteries.

The paper surveys blockchain random-number generation and proposes a platform that extends commit-and-reveal while addressing the last-revealer attack, in which the final participant withholds a reveal to bias or abort the result. The design combines a web front-end with a Solidity smart contract on Polygon 2.0 and was implemented and tested on the Amoy testnet. The authors compare it with earlier approaches, evaluate its entropy, and describe the prototype as low-cost and simple to deploy.

arXiv cs.CRSep 25, 16:27 UTC · 13d agoResearch

A Lightweight Ethereum Voting Prototype for Hospital Ethics Committees with Receipt-Based Inclusion Verification

Researchers prototype Ethereum voting for hospital ethics committees with public receipts but no secret ballots.

A cs.CR paper presents a Solidity, Hardhat, React, MetaMask, and ethers.js prototype for hospital ethics committee voting. Role controls, case-state checks, duplicate-vote controls, and a receipt hash support public audit and transaction inclusion verification. Because vote events expose wallet addresses and vote values, the design is pseudonymous rather than anonymous, secret, receipt-free, or coercion-resistant. Evaluation reports 22 passing functional tests and 284,137 gas per vote on local Hardhat; a 12-participant simulation used assumed probabilities and is not human-subject evidence.

arXiv cs.CRSep 24, 15:33 UTC · 14d agoResearch

Solidity

Timeline3 articles

Appears with

Making Duplicate Reimbursement Unrepresentable: A Verified Ethereum E-Invoice System for Humans and AI Agents

Verifiable Randomness for Blockchain-Based Lottery Systems

A Lightweight Ethereum Voting Prototype for Hospital Ethics Committees with Receipt-Based Inclusion Verification