(ZKP) 解析 Groth16 如何做到 Trustless

之前用 circom 實作 Groth16 都把 verifier.sol 部署到鏈上就完事了，最近想了一下第三方怎麼驗證 verifier.sol 跟電路的 binding，才發現原來 .zkey 也要公開，第三方才能驗證完整信任鏈。