ma𝕏poolRE: https://mastodon.social/@fj/116323066703142504
Providing a ZKP while keeping the algorithm secret seems misguided for the following reasons:
1. It is ineffective against dangers. For anyone with the capability to be among the first to build/access a physical implementation, recreating the work is only a minor hurdle knowing a solution exists. The proof provides incentive and certainty to justify redoing the work.
2. It unmotivates academic researchers. A ZKP turns original research into a homework assignment for others.