IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v9y2021i23p3022-d688230.html
   My bibliography  Save this article

Twisted Edwards Elliptic Curves for Zero-Knowledge Circuits

Author

Listed:
  • Marta Bellés-Muñoz

    (Department of Information and Communications Technology, Pompeu Fabra University, Tànger Building, 08018 Barcelona, Spain)

  • Barry Whitehat

    (Independent Researcher, 6300 Zug, Switzerland)

  • Jordi Baylina

    (0KIMS, Eschenring 11, 6300 Zug, Switzerland)

  • Vanesa Daza

    (Department of Information and Communications Technology, Pompeu Fabra University, Tànger Building, 08018 Barcelona, Spain)

  • Jose Luis Muñoz-Tapia

    (Department of Network Engineering, Campus Nord, Polytechnic University of Catalonia, 08034 Barcelona, Spain)

Abstract

Circuit-based zero-knowledge proofs have arose as a solution to the implementation of privacy in blockchain applications, and to current scalability problems that blockchains suffer from. The most efficient circuit-based zero-knowledge proofs use a pairing-friendly elliptic curve to generate and validate proofs. In particular, the circuits are built connecting wires that carry elements from a large prime field, whose order is determined by the number of elements of the pairing-friendly elliptic curve. In this context, it is important to generate an inner curve using this field, because it allows to create circuits that can verify public-key cryptography primitives, such as digital signatures and encryption schemes. To this purpose, in this article, we present a deterministic algorithm for generating twisted Edwards elliptic curves defined over a given prime field. We also provide an algorithm for checking the resilience of this type of curve against most common security attacks. Additionally, we use our algorithms to generate Baby Jubjub, a curve that can be used to implement elliptic-curve cryptography in circuits that can be validated in the Ethereum blockchain.

Suggested Citation

  • Marta Bellés-Muñoz & Barry Whitehat & Jordi Baylina & Vanesa Daza & Jose Luis Muñoz-Tapia, 2021. "Twisted Edwards Elliptic Curves for Zero-Knowledge Circuits," Mathematics, MDPI, vol. 9(23), pages 1-21, November.
    • Handle: RePEc:gam:jmathe:v:9:y:2021:i:23:p:3022-:d:688230
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/9/23/3022/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/9/23/3022/
    Download Restriction: no
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:9:y:2021:i:23:p:3022-:d:688230. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.