How to specify private inputs?
Closed this issue · 1 comments
ix42 commented
Is there a way to specify private inputs for the functions in guest such that commitments are passed to the verifier instead of the raw values? All inputs are in the proof's serialized program_io.
sragss commented
Hi @ix42 thanks for trying out Jolt. Unfortunately we do not support Zero-knowledge today. Here are some details on what it would take to get there.