## LICENSE The code largely comes from RISC Zero's implementation [here](https://github.com/risc0/risc0/tree/main/risc0/zkvm/src/serde), with modifications necessary to add the finite state automata. Since RISC Zero is under the Apache 2.0 license, this repository would also be Apache 2.0.