ChainCatcher news, the Bitcoin Rollup protocol BitcoinOS (BOS) successfully verified the first ZK proof on the Bitcoin mainnet, with the final verification confirmed in block 853626. This will help Bitcoin achieve the possibility of infinite scalability and functionality without the need for a soft fork.

ChainCatcher news, according to Coindesk, Polygon Labs has released the latest version of its zero-knowledge proof system, Plonky3, which is more flexible than the previous Plonky2. Zero-knowledge proof systems are core components of the blockchain ecosystem, responsible for generating proofs to summarize off-chain transactions and relaying information back to the main chain.Plonky3 has now been released as open-source software under the MIT and Apache licenses. Polygon plans to integrate all proof systems into a single codebase and framework to enhance future technological development.

ChainCatcher news, according to official sources, the Web3 modular blockchain infrastructure 0G Labs and ZK on-chain game engine developer Blade Games are collaborating to use ZK proofs to bring Web3 game state changes on-chain, aiming to promote the complete decentralization of Web3 games. Players will be able to use 0G's infrastructure to store and query game states.It is understood that most Web3 games still run on centralized servers, with only game assets (NFTs, rewards, etc.) on-chain. Bringing game logic on-chain is both difficult and expensive. Blade has introduced ZKP to bring game state changes (state difference) on-chain, while 0G provides highly scalable data storage for Blade's ZK game engine to publish relevant and verifiable data on-chain.

ChainCatcher message, the perpetual contract exchange JOJO Exchange developed by DODO co-founder Radar Bear implements ZK proof of funding rates using Brevis's ZK Coprocessor technology. Through Brevis's SDK, JOJO creates ZK proofs based on on-chain perpetual trading and spot price Oracle data, thereby accurately calculating funding rates. Subsequently, the proof is verified on-chain and used to adjust the funding rates for JOJO users.

ChainCatcher news, supported by Eigen Layer, the first decentralized ZK Proof verification layer on Ethereum, Aligned Layer has completed a $2.6 million seed round financing, led by Lemniscap, with participation from Bankless Ventures, Paper Ventures, Sreeram Kannan, Brandon Kase, Daniel Lubarov, DCbuilder, Chainyoda, Weikeng Chen, Sami BENYAKOUB (samnode_), Peter Fittin (SizeChad), and Lucas Kozinski, as well as strategic investments from StarkWare and O(1)Labs.The funds will be used for team expansion and to accelerate the launch of the Aligned Layer mainnet, which is planned for the second quarter of 2024.According to the RootData page, Aligned Layer is a ZK verification layer developed on top of EigenLayer. This will make the verification of any SNARK proof cost-effective, leveraging the security of Ethereum validators without being constrained by Ethereum. As an Eigen Layer AVS, it promises affordable verification and a versatile proof system for L2 and bridges, addressing key needs in the blockchain ecosystem. The project is developed by Yet Another Company.

ChainCatcher news, Polyhedra Network today officially announced a new method for directly verifying ZK proofs on the Bitcoin network.Polyhedra Network stated that, in light of recent developments such as the approval of Bitcoin ETFs and the upcoming halving event, market interest in Bitcoin research is at an all-time high. However, the team has identified critical flaws in existing verification methods—particularly the flaws emphasized in the BitVM white paper. The main issue is the potential collusion between the prover and the challenger, which threatens the integrity of the proof and can lead to the malicious creation of invalid proofs.To address the above issues, the Polyhedra Network team has introduced an alternative solution that uses FRI (Fast Reed-Solomon Interactive) style ZK proofs as the final layer of on-chain verification. Compared to other ZK proof systems like Groth16 or Plonk, FRI proofs offer better efficiency and lower computational demands. Given the high operational costs on the Bitcoin blockchain, this efficiency improvement is crucial.Polyhedra Network further added that current Layer 2 solutions on the Bitcoin network face the problem of lacking native ZK proof verification. The aforementioned solution from Polyhedra Network is expected to resolve this issue, thereby achieving general programmability on the Bitcoin network and fully unleashing Bitcoin's potential.

ChainCatcher news, according to The Block, Polygon Labs proposed to Celo to use the Polygon CDK suite to migrate to L2.It is reported that Polygon's CDK is an open-source software development kit designed by Polygon Labs. The Layer 2 created using the CDK is based on zero-knowledge proof rollup technology and inherits Ethereum's full security through ZK proofs.

ChainCatcher news, zero-knowledge proof (ZKP) hardware company Ulvetanna has completed a $15 million seed round financing at a valuation of $55 million, led by Bain Capital Crypto and Paradigm, with participation from Jump Crypto. This round of equity financing ended last June.It is reported that Ulvetanna is building hardware aimed at accelerating the ZKP generation process, which is a cryptographic authentication method that proves specific information without revealing the content of the information. In the field of cryptography, this technology has traditionally been used for scaling solutions in blockchain networks, especially Ethereum. (TheBlock)