ChainCatcher news, Starknet announced on the X platform that it plans to launch the Stwo prover in April 2025, which is expected to be approximately 940 times more efficient than the current Starknet prover.

ChainCatcher message, the ZK Prover Network launched by the ZK startup Lagrange has gone live on EigenLayer, becoming the industry's first decentralized proof network, supported by over 20 top operators, including Coinbase, OKX Staked, AltLayer, P2P.org, Ankr, and more.

ChainCatcher news, according to CoinDesk, StarkWare is building a new cryptographic prover called Stwo. The team stated that the new prover will bring faster verification efficiency, thereby reducing latency and transaction costs. Any user can run the prover, and its codebase will be available for anyone interested in trying or implementing STARK-based systems.

ChainCatcher news, the blockchain gaming company Immutable stated on social media that Immutable zkEVM is being rolled out in phases, and the next release phase of the Immutable zkEVM mainnet is Prover integration.

ChainCatcher news, Polygon Labs announced a partnership with Toposware to develop a new Type 1 zkEVM prover.It is reported that the Type 1 zkEVM prover allows any network compatible with the Ethereum EVM standard to become a Layer 2 network supported by zero-knowledge proofs and connect to the broader Polygon network ecosystem. The Type 1 zkEVM prover is even capable of generating these ZK proofs for Ethereum mainnet blocks, with an average cost of 0.002-0.003 USD per transaction. The Type 1 prover is open source and available on GitHub, licensed under MIT and Apache 2.0.

ChainCatcher news, Starknet announced a decentralized roadmap, stating that Starknet's goal is to transition the operations of the sequencer and prover to a decentralized proof-of-stake protocol, which includes two paths: implementing the various components needed to run a decentralized protocol; and a gradual process of decentralizing operational power to Starknet stakers.Among them, the process of decentralizing operational power to Starknet stakers includes four paths: transitioning to a decentralized network architecture while the sequencer operations remain centralized; ensuring the availability of a fully open-source software stack; developing an increasingly extensive testing and integration network; and attracting stakers to join before the sequencer ultimately transitions to proof-of-stake.

ChainCatcher news, Web3 security company Certora announced a collaboration with the smart contract language Vyper team to make its Prover tool available to all users, helping to enhance the security of Vyper code.As key holders of the Vyper community, users will be able to use Certora Prover to verify Vyper code until December 31, 2023.

ChainCatcher news, StarkWare announced that StoneProver (formerly STARK Prover) has been open-sourced, and its team conducted a real-time code review of Stone Prover at the Starknet summit.Previous news, StarkWare stated that after the open-sourcing of StoneProver, developers will be able to independently review, utilize, and build upon Stone Prover without permission. StarkWare also mentioned that the open-source Prover is an important step towards the decentralization of Starknet.

ChainCatcher news, according to the official Twitter, Ola has recently supported Poseidon2 hash in its proof system. Compared to the original Poseidon hash, it has achieved a 40%+ performance improvement for provers.It is reported that Poseidon2 is a new hash algorithm that maintains the same level of security as Poseidon hash while having better zk-friendly characteristics. Since zk-friendly hash algorithms are widely used in Ola's proof system, including private state tree, public state tree, verification process, plonky2 recursive process, etc., after in-depth research on the algorithm and implementation of Poseidon2 hash in the Horizen Labs paper, Ola has officially integrated it into the proof system.According to official sources, the Ola ZKVM testnet will be launched in early Q4 of this year, and more development details will be announced soon.

ChainCatcher news, StarkWare announced that on August 31, it will open source the STARK Prover (renamed as Stone Prover) under the Apache 2.0 license, allowing developers to independently review, utilize, and build upon Stone Prover without permission. StarkWare stated that the open-source Prover is an important step towards the decentralization of Starknet.Currently, StarkWare has already open-sourced Cairo, Papyrus Full Node, and all versions of Starknet, and the new Starknet sequencer under development will also be open-sourced.

ChainCatcher news, Ethereum modular execution layer developer Fuel Labs announced the upcoming launch of the Hybrid Proving solution FuelProver. FuelProver is a fusion of Optimistic and ZK, capable of supporting all the latest general Provers, while also reducing withdrawal windows and achieving high throughput. FuelProver will initially use a single Prover, with the aim of evolving into a multi-Prover model to enhance correctness. FuelProver intends to support various proving mechanisms, including Risc Zero, zkSync, Powdr, and more.Previous report, in September 2022, Fuel Labs announced the completion of an $80 million financing round, led by Blockchain Capital and Stratos Technologies.

ChainCatcher news, the Ethereum Layer 2 network Taiko based on zkRollup announces the launch of Eldfell L3 (Alpha-4 testnet). This testnet aims to test deploying Taiko on Taiko as the initial L3 layer (Rollup on Rollup), as well as testing the new staking-based prover economics.In Alpha-3, Taiko's design was that the first prover wins. In the testnet scenario, this leads to many provers "wasting work" as they all strive to prove the same block, but only one can receive the reward. In Alpha-4, the protocol designates provers from a pool and assigns them to proposed blocks. The designated prover must then submit a valid proof within a set time window for block validation. If the prover fails to submit the proof in time, their stake will be slashed. The higher the number of staked tokens, the greater the chance that the prover will be selected. (source link)

ChainCatcher news, zkSync tweeted that zkSync's decentralized vision is clear. The sequencer, ZK provers, zkPorter, community governance, and all other key components of the zkSync Era network will be decentralized after the core virtual machine and provers are consolidated and stabilized.Previously, The Block reported that Matter Labs CEO Alex Gluchowski stated that once they want to decentralize the sequencer, a token will be needed, and the sequencer will be decentralized in about a year. (source link)

ChainCatcher news, StarkWare announced that it will open source the cryptographic proof generation engine STARK Prover under the Apache 2.0 license. STARK Prover supports StarkNet and StarkEx to achieve large-scale scalability while maintaining the security of Ethereum. This is another open-source initiative by StarkWare following the open sourcing of Cairo 1.0, Papyrus Full Node, and the new StarkNet Sequencer.It is reported that StarkWare emphasizes that after the implementation of this open-source plan, the entire StarkNet technology stack will be open source. (source link)