You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In theory and according to our docs, one can use our tooling locally or remotely.
But in practice, the stark2snark prover only works on some hardware.
This is a frequent point of confusion for users -- would be good to clarify the current status and recommended workflow(s) in the docs.
The text was updated successfully, but these errors were encountered:
Idea: could we insert a compile time error to mention this issue until it's resolved for those using metal and other non-supported GPUs? Would help users a ton while this is not resolved
Idea: could we insert a compile time error to mention this issue until it's resolved for those using metal and other non-supported GPUs? Would help users a ton while this is not resolved
Can't really do that given the prover is selected at runtime rather than compile time (through env variables).
In theory and according to our docs, one can use our tooling locally or remotely.
But in practice, the stark2snark prover only works on some hardware.
This is a frequent point of confusion for users -- would be good to clarify the current status and recommended workflow(s) in the docs.
The text was updated successfully, but these errors were encountered: