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.
This repository has two main branches: main for complete working examples and work_in_progress for unfinished works. Feel free to contribute !
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.