stellar / slingshot

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
Apache License 2.0
415 stars 61 forks source link

zkvm: bind r1cs proof to txid #289

Closed oleganza closed 5 years ago

oleganza commented 5 years ago

Use the new R1CS API to commit the txid into the proof's transcript before finalizing the proof. This way, the R1CS proof is going to be bound not only to the constraint system, but also to the entire transaction.