A STARK prover and verifier for arbitrary computations
Why do you think that https://github.com/microsoft/Nova is a good alternative to winterfell
A STARK prover and verifier for arbitrary computations
Why do you think that https://github.com/microsoft/Nova is a good alternative to winterfell