Module complete_add 

This module implements a complete EC addition gate.

Structs

CompleteAdd

Implementation of the CompleteAdd gate It uses the constraints

Functions

zero_check 🔒

This enforces that