ZK-Plus / ZnaKes

Crypto application code for the zkSNARKs toolbox ZoKrates
GNU Lesser General Public License v3.0
0 stars 1 forks source link

feat: add support for the Decaf377 an embedded elliptic curve of the BLS12_377 #15

Closed uZhW8Rgl closed 7 months ago

uZhW8Rgl commented 8 months ago

Description

This issue tracks the extension of ZnaKes to support the Decaf377. The goal is to add support for the Decaf377 in ZnaKes and provide unit tests for it.

Background

The Decaf377 is an embedded elliptic curve of the BLS12_377 mentioned in the Zexe paper in Twisted Edwards form. This enables the use of ECC primitives within the BLS12_377 to form signature verification schemes e.g. EdDSA. These can be nested inside Zero Knowledge Proofs to incorporate security goals like authenticity, integrity and non-repudiation. According to SOOS, the curve is under MIT license.

Properties

This implementation is based on the values provided by the Penumbra Protocol:

Safety

The Decaf377 satisfies the SafeCurves criteria of Daniel J. Bernstein and Tanja Lange. This was tested with Daira-Emma Hopwoods script on which the JubJub was evaluated.