README.md

lasagna

Layered Zero-Knowledge Proof library for Cardano on-chain scripts.

Pre-Requisites

Aiken - a functional programming language for building Cardano on-chain scripts. Install it first.

Testing

To run tests, simply do:

aiken check

Documentation

Generate HTML documentation:

aiken docs

Resources

Aiken's user manual.

---

Copyright

Licensed under the Apache License v2.0.

© 2023-present — Ivan Mikushin, Oneiron Systems.