🚀 ZKsync Proposes Upgrade to Reduce Gas Fees for zkSNARK Verification
#ZKsync #GasFees #zkSNARK #Upgrade #EllipticCurve #Precompilation #Cryptography #ModExp #Testnet
According to PANews, ZKsync has announced a new upgrade proposal aimed at optimizing elliptic curve precompilation and introducing a ModExp precompilation feature. This upgrade is expected to significantly reduce the gas fees for verifying typical zkSNARK proofs from approximately 6.8 million to around 370,000, marking a reduction of about 94%. The enhancement will enable elliptic curve operations such as ECAdd, ECMul, and ECPairing to be executed directly within the circuit, thereby lowering the cost of verifying ZK proofs by over 90%.
The addition of the ModExp precompilation feature is designed for rapid modular exponentiation, which is crucial for various cryptographic applications, including RSA and ZK proof verification. Importantly, developers will not need to take any action following this upgrade. Existing contracts that rely on these precompilation features will not require redeployment, as calls will automatically resolve to the new circuit implementation.
The precompilation upgrade has already been deployed on the ZKsync Era testnet.#ZKsync #GasFees #zkSNARK #Upgrade #EllipticCurve #Precompilation #Cryptography #ModExp #Testnet
🚀 Vitalik Buterin Expresses Support for Native Rollups
#VitalikButerin #Ethereum #NativeRollups #ZKEVM #Layer2 #Precompilation #RollupSolutions #SynchronousComposability #Blockchain #MultisigBridges #LowLatency #ETH
According to ChainCatcher, Ethereum co-founder Vitalik Buterin has expressed a growing preference for native rollups compared to the past. Buterin reflected on his previous opposition to native rollups, which stemmed from the necessity to choose between ZK mode or Optimistic mode for precompilation. At that time, ZK-EVM was not fully developed, and Layer 2 solutions often opted for the latter, which relied on Ethereum's security but required a 2-7 day withdrawal period. This choice weakened Ethereum's composability and led to the popularity of multisig bridges.
Buterin noted that the situation is evolving, with Ethereum's timeline for fully adopting ZK at the L1 level aligning with the progress of introducing native rollup precompilation. This alignment is expected to eliminate the core obstacles previously faced. He also mentioned that the community is increasingly viewing 'synchronous composability' as a core value of Layer 2 and is exploring the combination of rollup-based solutions with low-latency pre-confirmation mechanisms.
Furthermore, Buterin emphasized that the implementation of native rollup precompilation should not be rushed. He proposed a future scenario where developers building rollups with 'EVM plus minor extensions' could directly reuse the EVM portion of native rollup precompilation. They would only need to introduce custom proof systems for new features, connecting the two through standardized methods.#VitalikButerin #Ethereum #NativeRollups #ZKEVM #Layer2 #Precompilation #RollupSolutions #SynchronousComposability #Blockchain #MultisigBridges #LowLatency #ETH
🚀 Certora Secures Ethereum Foundation Grant for zkEVM Project
#Certora #EthereumFoundation #zkEVM #Web3 #security #zeroKnowledge #precompilation #PowdrLabs #openSource #ETH
Web3 security firm Certora has announced receiving a grant from the Ethereum Foundation. According to Odaily, the specific amount of the funding has not been disclosed. The grant will support Certora's efforts in verifying the correctness of automated precompilation, a crucial optimization technology in zero-knowledge computation. This technology was developed by Powdr Labs for the Ethereum Foundation's zkEVM project. Certora intends to open-source the specifications, proofs, and verification framework it develops.#Certora #EthereumFoundation #zkEVM #Web3 #security #zeroKnowledge #precompilation #PowdrLabs #openSource #ETH