ckb-zkp issues

Results 4 ckb-zkp issues

Sort by recently updated

Fix gkr and spartan

spartan: append inputs and encode_commit to transcript hyrax: append inputs and outputs to transcript libra: append inputs and outputs to transcript

10to4

include more public values for secure FS transform

Trail of Bits found that insecure implementations of the Fiat-Shamir transformation in bulletproofs could allow malicious users to forge proofs for random statements. - https://blog.trailofbits.com/2022/04/13/part-1-coordinated-disclosure-of-vulnerabilities-affecting-girault-bulletproofs-and-plonk/ - https://blog.trailofbits.com/2022/04/15/the-frozen-heart-vulnerability-in-bulletproofs/ The [bulletproofs paper](https://eprint.iacr.org/2017/1066.pdf)...

p0n1