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 verifiation logic for a particular program.
See the documentation to learn more.
Check the example of a program to verify the Collatz Conjecture.
⚠️ 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.