Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A proof-producing compiler for blockchain applications - MaRDI portal

A proof-producing compiler for blockchain applications

From MaRDI portal

Publication:6642981

Jump to:navigation, search

DOI10.4230/LIPICS.ITP.2023.7MaRDI QIDQ6642981

Alon Titelman, Yoav Seginer, Jeremy Avigad, Lior Goldberg, David Levit

Publication date: 26 November 2024

zbMATH Keywords

formal verification interactive proof systems smart contracts

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A proof-producing compiler for blockchain applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6642981)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6642981&oldid=40219050"