search

starkoracles / air-script

A domain-specific language for writing AIR constraints for STARKs
MIT License
0 stars 0 forks source link

Convert constraints to use Goldilocks #1

Closed skaller closed 1 year ago

skaller commented 1 year ago
  1. Add @starkoracles library.
  2. Convert computations to use it.
skaller commented 1 year ago

done