Ning Luo

ZSafe: Proving the Safety of Proprietary Hardware Designs in Zero Knowledge

Protecting the confidentiality of hardware designs is essential, especially during third-party verification, where proprietary designs must be examined by potentially untrusted verifiers. Existing approaches, such as obfuscation, watermarking, design encryption, and prior privacy-preserving verification techniques, are...