Closed danielntmd closed 1 week ago
Circuit implementation for curve checking brings down steps significantly but marginally in the context of the entire verifier.
Refactored the backend type conversions for the compute challenges function. This reduces steps from ~1.8mil to 800k.
Circuit implementation for curve checking brings down steps significantly but marginally in the context of the entire verifier.
Refactored the backend type conversions for the compute challenges function. This reduces steps from ~1.8mil to 800k.