A domain-specific language for writing AIR constraints for STARKs
(0 stars) (2 forks) (0 indexed issues) (0 open good first issues)
Repositories
A domain-specific language for writing AIR constraints for STARKs
Massa Protocol Documentation
Smart contract Simulator for wasm generated with AssemblyScript
Massa's wallet provider library