GuildOfWeavers's repositories
AirAssembly
Low-level language for encoding AIR of computations
winterfell
A STARK prover and verifier for arbitrary computations
genSTARK.demo
Examples of using genSTARK library
Low-level language for encoding AIR of computations
A STARK prover and verifier for arbitrary computations
Examples of using genSTARK library