🧩zk-SNARK Validation

A BLS 12-381 signature of a zk-SNARK of verified energy generation is a required submission to have validation proven, that is, an algorithm runs to determine that the characteristic function output of the energy validator claim is non-zero, and if so provides either a 0 or a 1 as attached to the submission which either accepts the transaction as part of the validators or eliminates it from the consensus algorithm. The main hardware task of the FPGA running PoG is in the characteristic function calculation corresponding to the tracking of ensuring electrons are not double spent as calculated over a displaced current whereas recycled current will yield characteristic function outputs of zeros and thus not have weighted input into the PoG algorithm.