This repository is a collection of examples of contracts and programs that can be deployed and used on Hylé.
Hylé does not have a native execution environment. Smart contracts do not execute code on Hylé; they describe a verification logic for a particular program.
See the documentation to learn more.
⚠️ The examples have not been audited and are not intended for production use. The authors are not responsible for any damages caused by the use of the code provided here.