Miners,
It has come to our attention through h33p’s PR that parts of our ZKVM tables are unconstrained. As detailed here, it’s important for the security of the ZK-Proof of Work puzzle that to the extent possible, the puzzle is amortization-resistant. At present, there is a way to amortize a portion of the puzzle through grinding on the parts of the tables that are unconstrained.
It is desirable for the overall security of the network to lock this down by further constraining the tables such that there is a single witness (set of tables) per input computation. Notably, the Nock ZKVM whitepaper includes these constraints already, and it was an oversight that they were not already included.
Thanks to h33p for the find.
We have implemented a consensus upgrade and pushed it to the open-source nockchain repository. This consensus upgrade will go into effect at block 12000, which should be around mid-day Thursday US Central Time.
Please update all miners and nodes you are running to the following commit prior to block 12000:
Best,
Logan