LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "producing compiler" as a keyword



A Proof-Producing Compiler for Blockchain Applications

Sign Up to like & get
recommendations! Published in 2025 at "Journal of Automated Reasoning"

DOI: 10.1007/s10817-025-09723-y

Abstract: CairoZero is a programming language for running decentralized applications (dApps) at scale. Programs written in the CairoZero language are compiled to machine code for the Cairo CPU architecture and cryptographic protocols are used to verify… read more here.

Keywords: proof producing; producing compiler; language; blockchain applications ... See more keywords