Issues
- 1
- 0
Potential non-deterministic circuit?
#58 opened by UIZorrot - 0
Implement and benchmark grandsum
#57 opened by RogerTaule - 0
Add generic formula for soundness computation
#56 opened by hecmas - 3
Improving DEEP quotients computation
#54 opened by hecmas - 0
Adjusting pil-stark so that it can be integrated with intermediate polynomials external solution
#53 opened by RogerTaule - 0
Maybe support bls12381?
#48 opened by VegeBun-csj - 11
Many Stark tests failing
#27 opened by Sean4572435243 - 0
- 0
A little problem
#21 opened by Federico2014 - 0
- 0
What does `fibonacci C12 ...` mean?
#6 opened by 3for - 1
`fibonacci prove` failed
#5 opened by 3for