BLS12-377 curve operations

Status history

1. Draft26 Feb 2020
2. ⋯Stagnantdate not observed

Abstract

This precompile adds operation on BLS12-377 curve (from Zexe paper) as a precompile in a set necessary to efficiently perform operations such as BLS signature verification and perform SNARKs verifications. Unique properties of BLS12-377 also later allow to have SNARKs that check BLS12-377 pairing in an efficient way and allow e.g. constant-size BLS signature aggregation. If block.number >= X we…