avm-proofpack
Copyright 2026 AlgoVoi

This software was created and is maintained by AlgoVoi, and is offered as a
gift to the Algorand and Voi communities under the Apache License, Version 2.0.

You are free to use, modify, and redistribute it. If you redistribute this
software or a derivative of it, this NOTICE and the attribution to AlgoVoi
must be retained (Apache-2.0, Section 4).

---

Cryptographic semantics (domain separators, vector-commitment structure, and
canonical msgpack encoding) follow the Algorand reference implementation,
go-algorand (https://github.com/algorand/go-algorand), and are cited at their
point of use. avm-proofpack is an independent, clean-room implementation of
those semantics and includes no go-algorand source code.

The experimental trust-root groundwork in
src/avm_proofpack/_experimental/ (not part of the published distribution)
implements Falcon-1024 signature verification following the Falcon
specification and the algorand/falcon C reference semantics
(https://github.com/algorand/falcon), and state-proof message reconstruction
following go-algorand. These too are independent, clean-room implementations,
cited at their point of use, and include no go-algorand or Falcon-reference
source code.
