gemini
gemini copied to clipboard
An elastic proof system based on arkworks
- Add `multikzg` module which implements polynomial commitments with multilinear polynomials - Add new documentation, add to existing `kzg` documentation
Synopsis: First I noticed gemini -> main compile fails: ``` error: failed to load source for dependency `ark-ec` Caused by: Unable to update https://github.com/mmaker/algebra?branch=feature/additive-groups#1419b95a ``` Then I noticed the PR...
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...
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...

Hello I fixed several spelling issues in your docs. Br, Elias.