kimchi::circuits::polynomials

Module complete_add

Source
Expand description

This module implements a complete EC addition gate.

Structsยง

CompleteAdd
Implementation of the CompleteAdd gate It uses the constraints