This directory contains examples demonstrating how AirAssembly libraries can be used to create STARKs, either directly or from within AirScript modules.
The examples are:
- lib128 - demonstrates different components of
lib128library. - lib224 - demonstrates different components of
lib224library. - merkleProof - demonstrates how Poseidon hash function from
lib224can be used to create a STARK for Merkle proof verification. - merkleUpdate - demonstrates how AIR for Merkle tree update from
lib224can be used in an AirScript module.
For more info about functionality available in AirAssembly libraries, see here.