Add pairing gadgets (depends on #26)#29

Merged

AntoineRondelet merged 27 commits intodevelopfrom

add-pairing-gadgets

Nov 2, 2021

Commits on Nov 2, 2021

submodules: update libff [avoid-exceptions] and libfqfft [exceptions-fix]
dtebbs
committed
comment for packing_gadget
dtebbs
committed
refactor of pairing gadgets. precompute types in selector. factored out tests.
dtebbs
committed
compile warnings
dtebbs
committed
remove curve-specific "special" multiplication gadgets from pairing_selector
dtebbs
committed
add checker gadgets to pairing_selector
dtebbs
committed
more pairing checks (eee = e) and improved pairing_selector types
dtebbs
committed
rename fp6_... gadgets to fp6_2over3_... (later also support 3over2)
dtebbs
committed
fp6_3over2 gadgets and tests
dtebbs
committed
added fp12_2over3over2 gadgets and tests
dtebbs
committed
add bw6_761 / bls12_377 pairing gadgets and further generic field and group element gadgets
dtebbs
committed
move verifier tests to same dir as other tests
dtebbs
committed
groth16 verification gadget and tests
dtebbs
committed
get_element api on group variable gadgets
dtebbs
committed
catch some unsupported cases in group variable witness data
dtebbs
committed
G1 selector gadget (dynamically select between elements based on bool variable)
dtebbs
committed
G2 selector gadget (dynamically select between G2 elements based on bool variable)
dtebbs
committed
get_element api on group variable gadgets
dtebbs
committed
clean up group operation tests
dtebbs
committed
fix some compiler warnings
dtebbs
committed
warnings as errors in CI
dtebbs
committed
test naming consistency
dtebbs
committed
clean up and unify verification_key variable objects
dtebbs
committed
clean up pairing_selector interface
dtebbs
committed
split up bls12_377 pairing gadgets into multiple files
dtebbs
committed
public inheritance in some new gadgets (recently introduced convention)
dtebbs
committed
add back unused methods on key variable objects (while they are still gadgets)
dtebbs
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Add pairing gadgets (depends on #26)#29

Add pairing gadgets (depends on #26)#29
AntoineRondelet merged 27 commits intodevelopfrom
add-pairing-gadgets

Commits on Nov 2, 2021

submodules: update libff [avoid-exceptions] and libfqfft [exceptions-fix]

comment for packing_gadget

refactor of pairing gadgets. precompute types in selector. factored out tests.

compile warnings

remove curve-specific "special" multiplication gadgets from pairing_selector

add checker gadgets to pairing_selector

more pairing checks (eee = e) and improved pairing_selector types

rename fp6_... gadgets to fp6_2over3_... (later also support 3over2)

fp6_3over2 gadgets and tests

added fp12_2over3over2 gadgets and tests

add bw6_761 / bls12_377 pairing gadgets and further generic field and group element gadgets

move verifier tests to same dir as other tests

groth16 verification gadget and tests

get_element api on group variable gadgets

catch some unsupported cases in group variable witness data

G1 selector gadget (dynamically select between elements based on bool variable)

G2 selector gadget (dynamically select between G2 elements based on bool variable)

get_element api on group variable gadgets

clean up group operation tests

fix some compiler warnings

warnings as errors in CI

test naming consistency

clean up and unify verification_key variable objects

clean up pairing_selector interface

split up bls12_377 pairing gadgets into multiple files

public inheritance in some new gadgets (recently introduced convention)

add back unused methods on key variable objects (while they are still gadgets)