gemini icon indicating copy to clipboard operation
gemini copied to clipboard

An elastic proof system based on arkworks

Results 6 gemini issues
Sort by recently updated
recently updated
newest added

- 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...

![图片1](https://github.com/arkworks-rs/gemini/assets/127093036/ae9eddcd-5dc3-4efd-9753-d31e8b456649)

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