First page Back Continue Last page Overview Graphics
Constructing a UC “[GMW87] compiler”
Problem: In [GMW87], both commitment and ZK are not UC.
First attempt: Replace commitment and ZK with UC counterparts.
- Doesn’t work… (cannot make ZK proofs on “ideal commitments”)
Notes: