search

a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
https://jolt.a16zcrypto.com
MIT License
653 stars 137 forks source link

How to specify private inputs? #362

Closed ix42 closed 4 months ago

ix42 commented 4 months ago

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 4 months ago

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.