Skip to content
#

zkp

Here are 54 public repositories matching this topic...

yelhousni
yelhousni commented Oct 28, 2021

A double-and-add scalar multiplication by N costs on average log(N) doublings and log(N/2) additions. For twisted Edwards curves (used in gnark for edDSA circuits), it costs 7 rank-1 constraints (Groth16) to describe an addition in affine coordinates and 6 for a doubling. These twisted Edwards curves can be converted to Montgomery form where it costs 4 R1C for an addition and **5

yelhousni
yelhousni commented Oct 14, 2021

Similarly to BLS12 curves, BLS24 Miller loop counter is the curve seed u. Although this seed is 32 bits (half the size of BLS12 seeds), the BLS24 Miller loop is slower. This is mainly because the most costly operations encountered in the Miller loop computation are those that take place in the full extension field Fp24. Implementing this paper's [CBNW10]

Improve this page

Add a description, image, and links to the zkp topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the zkp topic, visit your repo's landing page and select "manage topics."

Learn more