issues
search
starkoracles
/
air-script
A domain-specific language for writing AIR constraints for STARKs
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Airscript bug
#15
skaller
closed
1 year ago
2
Winterfell main automation
#14
skaller
closed
1 year ago
3
Batch tester: output handling
#13
skaller
closed
1 year ago
2
Upgrade protostar to latest version
#12
skaller
opened
1 year ago
0
Test Vm to output public values
#11
skaller
closed
1 year ago
1
harness: public data
#10
skaller
closed
1 year ago
3
Make test harness parametric
#9
skaller
closed
1 year ago
3
Protostar version and invocation
#8
skaller
opened
1 year ago
0
Handle Aux constraints
#7
skaller
opened
1 year ago
3
Code structure and separation of responsibilities
#6
starkoracles
closed
1 year ago
0
Boundary Combine Last Divisor
#5
skaller
closed
1 year ago
5
constraint evaluator
#4
skaller
closed
1 year ago
1
Generate Appropriate Air Instance
#3
skaller
closed
1 year ago
1
Show compact constraint formula as comment in cairo
#2
skaller
closed
1 year ago
0
Convert constraints to use Goldilocks
#1
skaller
closed
1 year ago
1