Imagen de Portada

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Xu, Ziyun, Wang, Hao, Sun, Meng
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

From Monolithic to Compositional: A Compositional Operational Semantics for Crystality
por: Xu, Ziyun, et al.
Publicado: (2026)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
por: Hassanzadeh-Nazarabadi, Yahya, et al.
Publicado: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
por: Lybech, Stian, et al.
Publicado: (2025)

Open-World Assertion Checking for Smart Contracts via Game Semantics
por: Koutavas, Vasileios, et al.
Publicado: (2025)

Smart Contract Languages: a comparative analysis
por: Bartoletti, Massimo, et al.
Publicado: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
por: Yao, Siqiu, et al.
Publicado: (2024)

Constructing Trustworthy Smart Contracts
por: Chait-Roth, Devora, et al.
Publicado: (2024)

Gradual Verification for Smart Contracts
por: Sun, Haojia, et al.
Publicado: (2023)

The Parallel Semantics Program Dependence Graph
por: Homerding, Brian, et al.
Publicado: (2024)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
por: Wang, Sally Junsong, et al.
Publicado: (2024)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
por: Selabi, Elvis Konjoh, et al.
Publicado: (2026)

Detecting Buggy Contracts via Smart Testing
por: Wang, Sally Junsong, et al.
Publicado: (2024)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
por: Kong, Ziqiao, et al.
Publicado: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
por: Cho, Hyunhum, et al.
Publicado: (2026)

SoliDiffy: AST Differencing for Solidity Smart Contracts
por: Eshghie, Mojtaba, et al.
Publicado: (2024)

An Operational Semantics for Yul
por: Koutavas, Vasileios, et al.
Publicado: (2024)

Foundational Verification of Smart Contracts through Verified Compilation
por: Sjöberg, Vilhelm, et al.
Publicado: (2024)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
por: Wang, Yi, et al.
Publicado: (2025)

Demystifying Invariant Effectiveness for Securing Smart Contracts
por: Chen, Zhiyang, et al.
Publicado: (2024)

A Refined Operational Semantics for FreeCHR
por: Rechenberger, Sascha, et al.
Publicado: (2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
por: Smaragdakis, Yannis, et al.
Publicado: (2025)

Extending Contract Verification for Parallel Programming Models to Fortran
por: Oraji, Yussur Mustafa, et al.
Publicado: (2026)

A Compiler for Operations on Relations with Bag Semantics
por: Dong, James, et al.
Publicado: (2025)

A Pure Demand Operational Semantics with Applications to Program Analysis
por: Smith, Scott, et al.
Publicado: (2023)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
por: Ball, Thomas, et al.
Publicado: (2024)

Disentangling Parallelism and Interference in Game Semantics
por: Castellan, Simon, et al.
Publicado: (2021)

Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs
por: Zhao, Yifan, et al.
Publicado: (2025)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
por: Chen, Zhiyang, et al.
Publicado: (2024)

Towards Definitional Interpreters for Hoare Logics
por: Sun, Ke, et al.
Publicado: (2026)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
por: Hummelgren, Lars, et al.
Publicado: (2022)

Compilation as Multi-Language Semantics
por: Bowman, William J.
Publicado: (2025)

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
por: Goel, Abhinav, et al.
Publicado: (2026)

Compilation Semantics for a Programming Language with Versions
por: Tanabe, Yudai, et al.
Publicado: (2023)

Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon
por: Veit, Cooper
Publicado: (2026)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
por: Hu, Lifan
Publicado: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
por: Zhao, Jianhong, et al.
Publicado: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

Functional Meaning for Parallel Streaming
por: Rioux, Nick, et al.
Publicado: (2025)

Opportunistically Parallel Lambda Calculus
por: Mell, Stephen, et al.
Publicado: (2024)

Blockly2Hooks: Smart Contracts for Everyone with the XRP Ledger and Google Blockly
por: Trestioreanu, Lucian, et al.
Publicado: (2025)