Commitment Translation and Commitment configuration hyperspace

Creator

Undefined

Created

Mar 28, 2023 1:46 PM

The current commitment scheme used by Filecoin is specific to our Groth16 over BLS-12-381 proving system. This makes the commitment to replica (SealedSectorCID) cheap to verify in Groth16-381, but if we wanted to change the proving system, it would become considerably more expensive.
The (Commitment scheme instantiation, Proving system instantiation) tuple can be classified into two main categories: Native and Non-native. The main characteristic of opening a commitment in a native setting is the optimally low cost of the opening. The non-native setting usually carries 10x to 100x cost overhead.