ginger-lib

ginger-lib copied to clipboard

lgiussan

Add Coboundary Marlin succinct verifier gadget

1

This PR adds a gadget for the succinct verification in circuit of a Coboundary Marlin proof

lgiussan

This PR addresses issues #149 and #150. It defines a new trait `UIntGadget` which defines the functions available for small unsigned integers (up to 128 bits). In particular, the `UIntGadget`...

nicholas-mainardi

The comparison functions for `FpGadget` only accepts operands in the range [0, (p-1)/2] for a prime field Fp. In case equality between the input operands x,y must be also checked...

nicholas-mainardi

This PR addressed the [issue #148](https://github.com/HorizenOfficial/ginger-lib/issues/148) by adding the functions `to_bits_le` and `from_bits_le` to the `ToBitsGadget` and `FromBitsGadget`, respectively. These functions allow to serialize/deserialize for the types implementing such gadgets...

nicholas-mainardi

Imported from arkworks: - enforce_smaller_equal_than_le() gadget for Vec and modified previous implementation of enforce_in_field(); - conditionally_add and conditionally_select gadgets for UInt64; - comparison gadgets for FpGadget; - added conditionally_add function...

doc78

This PR introduces several macros to generate concrete algebraic and crypto-primitive type bindings and functions for (a subset of) curves defined in ginger-lib, via specific compilation flags. This is done...

95DDB

This PR contains the refactored algebra module and adjustments for this refactoring in other modules. The details of this refactoring are described in document "Refactoring ginger-lib". Key changes: - Group...

phoinic

PR is huge due to some refactoring and new constants added in the density optimized Poseidon Hash Gadget affecting around +20000 -9000 lines of code.

95DDB

Endomorphism-based Pippenger

1

[Aztek has implemented a GLV-variant of Pippenger](https://github.com/AztecProtocol/barretenberg/blob/f45c27ecd70a3c5607cf30ad5e36bcb4b7385b6d/barretenberg/src/aztec/ecc/fields/field.hpp). In short, the GLV method makes use of the endomorphism (having equivalent scalar `lambda`) by decomposing a scalar `k` into `k = k1...

UlrichHaboeck75