An example of state-transition AIR program backed by the winterfell library.
Primary LanguageRustApache License 2.0Apache-2.0