ZKsync: The latest upgrade proposal focuses on optimizing elliptic curve precompilation, and the cost of ZK proof verification will be reduced by more than 90%

PANews reported on May 20th that ZKsync officially posted on X platform that the latest ZKsync upgrade proposal focuses on optimizing elliptic curve precompiles and adding ModExp precompile functionality. The Gas fee for verifying typical zkSNARK proofs will be reduced from approximately 6.8 million to approximately 370,000, a reduction of about 94%. Through this upgrade, elliptic curve operations (ECAdd, ECMul, ECPairing) will be directly implemented in the circuit, thereby reducing the cost of verifying ZK proofs by over 90%. A new ModExp precompile function has been added for rapid modular exponentiation. This is crucial for many different cryptographic application scenarios, such as RSA and ZK proof verification. After the upgrade, developers do not need to take any action. Existing contracts that already rely on these precompile functions do not need to be redeployed. After the upgrade, calls will be automatically parsed to the new circuit implementation. The precompile upgrade is now live on the ZKsync Era testnet.