Support conditional composite receipts in proof composition

risc0 / risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

https://risczero.com

Apache License 2.0

1.62k stars 406 forks source link

Support conditional composite receipts in proof composition #982

Open nategraf opened 11 months ago

nategraf commented 11 months ago

With proof composition, there is the concept of a "conditional receipt". A conditional receipt is a receipt that is valid only if any assumptions made by the guest during execution can be proven by other corroborating receipts.

This issue is to implement conditional receipts through the prover and CompositeReceipt struct.

Related: #980, #981

flaub commented 3 months ago

@nategraf Did this make it into 1.0?

nategraf commented 3 months ago

No, because it requires the support for unresolved assumptions. The API is designed to support it, but the actual support is not implemented.