timofey
## Summary of Bug There's a discrepancy between input variable allocation and constraint field conversion for the Short Weierstrass curve group, specifically, how the `infinity` marker's value field is used....
I'm trying to use Gemini with a circuit projected on the BLS12-381 curve. My assumption is that the Gemini, being an "FFT-free" and more curve-agnostic proving system, I would be...
Source SSZ and BLS related constants and add an implementation of the `eth_types::Spec` trait for Gnosis networks.