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