|
|
|---|
|
|
|
|---|
An ACL2 library for the Leo language.
Leo is Provable's high-level language for writing zero-knowledge applications for the Aleo blockchain.
This library is work in progress towards a formalization of Leo in ACL2, along with ACL2 tools for the Leo language.