Proof generation 아웃소싱?

• Aleo 는 off-chain 에서 프로그램을 실행(state transition)하고, 실행 결과를 Proof 로 트랜잭션에 남기는 방식으로 privacy 와 scalability 를 모두 달성하려 한다.

출처, Aleo.org

• 그런데, Prover 를 통해서도 이러한 Proof 를 생성하는게 가능하다고 한다.

출처, Aleo.org

• 별다른 설명이 없기에 자연스레 "어? Prover 에게 proof 생성을 위임하면, private input 같은 값들이 그냥 전달되는건가?" 하고 생각했다.

Usenix

• 영상 설명도 존재했다. [Youtube]