ZK Provingの依頼計算
zkVMの場合はsecret witnessが存在しないのでprovingを容易に依頼できる
A Privacy-preserving Outsourcing Scheme for Zero-knowledge Proof Generation
witness shareを暗号化してworkerに配布
workerは暗号化したままproofを生成する
Trinocchio
Shamir's Secret Sharingを利用して、複数のproverにwitness shareを分配してpartial proofの生成を依頼する
partial proofを手元で統合してproofを復元する
worker同士の共謀に対して耐性がない (honest majority)
EOS: Efficient Private Delegation of zkSNARK Provers
MPCを利用
Publicly Auditable MPC
Collaborative zkSNARKを利用してMPCによる計算結果を公開監査可能にする
Projects