The Topos state-transition AIR program backed by the winterfell library.
- This crate can be made
no_stdcompliant, by relying on thealloccrate instead.
WARNING: This is an ongoing, prototype implementation subject to changes. In particular, it has not been audited and may contain bugs and security flaws. This implementation is NOT ready for production use.
concurrent: Enables multi-threading during proof generation. It implies thestdfeature.std(on by default): Enables the use of the Rust standard library
The Topos state-transition AIR program ensures a global consistency of the Topos ecosystem by means of zk-STARKs. It verifies the consistency of transactions provided as private witness, through a set of hardcoded rules validating or rejecting them.
It internally relies on the winterfell library.
Licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.