Proving Circuit Functional Equivalence in Zero Knowledge

Sirui Shen, Zunchen Huang, Chenglu Jin

The modern integrated circuit ecosystem is increasingly reliant on third-party intellectual property integration, which introduces security risks, including hardware Trojans and se…