Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications.
Collin ChinHoward WuRaymond ChuAlessandro CoglioEric McCarthyEric SmithPublished in: IACR Cryptol. ePrint Arch. (2021)
Keyphrases
- programming language
- general purpose
- object oriented
- computer programs
- high level
- knowledge base
- programming environment
- expert systems
- strongly typed
- software engineering
- object oriented programming
- logic programming
- programming tool
- database languages
- data abstraction
- knowledge representation
- open source
- object oriented concepts
- stored procedures
- design process
- search algorithm