Today Discover Research Topics Saved

Overview|Scalable Formal Verification of Smart Contracts: Revision with Soundness Proofs

Progress: 0%

Paper Outline5 sections

Time in paper0:00

Programming Languages · 2026

Scalable Formal Verification of Smart Contracts: Revision with Soundness Proofs

David Kim

1. Abstract

Initial preprint on verifying smart contract semantics.

Document Assistant

Research Assistant active for "Scalable Formal Verification of Smart Contracts: Revision with Soundness Proofs". I am grounded in the full text and methodology of this paper. Ask any question or select a suggested prompt below.

Suggested Prompts

Lunor — Daily AI & Software Research