Login / Signup
Stackproofs: Private proofs of stack and contract execution using Protogalaxy.
Liam Eagen
Ariel Gabizon
Marek Sefranek
Patrick Towa
Zachary J. Williamson
Published in:
IACR Cryptol. ePrint Arch. (2024)
Keyphrases
</>
execution model
supply chain
privacy preserving
real time
social networks
automated theorem provers
neural network
real world
information retrieval
website
theorem prover
theorem proving
data flow
decision procedures
concurrent execution
formal proofs