sorbitol
发表于 2025-4-1 03:17:03
Claudia Weinkopfal circuits (Liu, Yu, etc., CRYPTO 2021) seems to reach a theoretical optimum (.) (. is the number of the gates in the circuit), but still does not avoid the logarithmic factor in circuit size..In constructing PFE with linear active security, one essential building block is to prove the correctness