Login / Signup
Orbis Specification Language: a type theory for zk-SNARK programming.
Morgan Thomas
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
specification language
programming language
black box
pac learning
description language
formal specification
general purpose
software environment
requirements specification
high level
object oriented
dynamic programming
machine learning
autonomous agents
formal methods
special case
reinforcement learning