arkworks-rs / gemini Goto Github PK

I tried running a simple example on snark with the time_prover, using a very small r1cs for a simple circuit. This issue doesn't look too hard to solve -- probably just a missing zero check somewhere. Run cargo run --features asm,print-trace,parallel --example snark -- -i 1 --time-prover on my fork to see the error setup / message.

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 able to carry this out using application-specific curves like YAFA-108/146.

However, I'm having trouble fitting more than one instance when generating relations. This limitation happens during inputs padding here, which subsequently is caused by the field's low 2-adicity here.

Can the padding mechanism be adjusted to allow proving circuits projected on low two-adicity curves?