groth16

Согласно отчету CoinDesk, основатель Cardano Чарльз Хоскинсон заявил, что он лично разрабатывает новый язык программирования для сети Cardano и сотрудничает с инженером Input Output Global Лукасом Розой. Лукас Роза является соучредителем одного из основных языков смарт-контрактов Cardano — Aiken. Хоскинсон написал в платформе X, что это будет первый язык программирования, который объединяет действия, которые пользователи хотят выполнить в сделках, с криптографическими доказательствами.Как сообщается, язык будет поддерживать три инструмента: намерение сделки, данные с доказательствами и доказательство Groth16. Намерение сделки позволяет пользователям указывать желаемую цель, в то время как конкретные шаги обрабатываются приложением, например, трейдер может запросить обмен одного токена на другой только тогда, когда конечная цена удовлетворяет установленным условиям, не указывая конкретный путь.Данные с доказательствами могут добавлять криптографические доказательства к информации, подтверждая ее соответствие определенным правилам, что позволяет другим приложениям проверять без повторных вычислений. Groth16 — это широко используемая система доказательств, которая может генерировать компактные доказательства с быстрой проверкой, подтверждая выполнение условий без раскрытия личных данных.После объединения трех компонентов разработчики смогут создавать приложения, которые координируют сделки, проверяют сложные условия и передают проверенную информацию между сервисами, в конечном итоге Cardano проверяет небольшое доказательство. В настоящее время разработчики Cardano в основном используют основанный на Haskell Plutus и Aiken для написания смарт-контрактов, в то время как приватная блокчейн-платформа Midnight, созданная Input Output Global под руководством Хоскинсона, имеет свой собственный язык Compact. Название нового языка, открытый код и дата выпуска на данный момент не были объявлены.

According to Cointelegraph, the decentralized anonymous lottery protocol Foom Cash lost approximately $2.26 million in funds due to a security vulnerability exploit, but white hat hackers intervened in time to help recover $1.84 million (about 81% of the stolen funds).This security incident stemmed from a critical error during the deployment of Foom Cash, specifically involving a Groth16 verifier configuration issue that allowed attackers to submit forged proofs to the protocol.A white hat hacker known as Duha identified the vulnerability and quickly protected the funds on the Base chain, while the security company Decurity was responsible for the rescue of funds on Ethereum. In return, Foom Cash paid the white hat hacker a bounty of $320,000 and paid Decurity a security fee of $100,000.

Stanford University professor and Babylon co-founder David Tse announced that the team has officially released BABE (BAbylon-BErkeley), a brand new Groth16 zero-knowledge proof verification protocol for Bitcoin. This solution reduces initialization and storage costs by more than a thousand times compared to the current optimal solutions.BABE combines two key cryptographic innovations:Witness Encryption on Linear Pairing, which simplifies the complex multiple pairing operations in Groth16 verification to a single scalar multiplication on the BN254 elliptic curve;Utilizing the recently proposed Argo MAC obfuscation primitive, which further transforms this scalar multiplication into vector homomorphic MAC, enabling efficient computation.David Tse stated that BABE will go live in February 2026 alongside the alpha testnet of the Babylon Trustless Bitcoin Vault, aiming to achieve lower-cost and more scalable zero-knowledge proof verification capabilities within the Bitcoin ecosystem.

ChainCatcher message, Vitalik Buterin posted on X stating: "One of the many things we need to accelerate is the abolition of Groth16. Trust setups for every application are not feasible in the 2020s. At least there should be a universal setup, ideally no setup at all. This requires significant improvements in infrastructure and the standardization of new SNARK algorithms."It is reported that the Groth16 algorithm is an algorithm published by Jens Groth in 2016. The advantages of this algorithm are the small number of proof elements provided (only 3 are needed), simple verification equations, and reliability under integrity and polynomial computation capabilities.

ChainCatcher news, according to Zulu's official Twitter, Zulu has completed the segmentation of the Groth16 script. A total of 1701 sub-scripts have been segmented from 2 public inputs, each smaller than 4M, with a stack depth of <1000. The completion of this ZKP script segmentation represents another milestone for BitVM towards commercialization.The next step for Zulu Network is to develop a ZK bridge based on BitVM2, and it is expected to become the first Bitcoin L2 integrated with Bitcoin network security.

ChainCatcher news, according to official sources, Zulu Network has open-sourced the first ZKP verification code implemented in Bitcoin scripts, involving the mainstream algorithms Groth16/FFlonk, and has submitted the code to the BitVM repository.This achievement lays the foundation for building a decentralized cross-chain bridge based on BitVM2. Zulu's next goal is to launch a trust-minimized Bitcoin cross-chain bridge using cross-chain technology and BitVM2. Previously, BitVM creator Robin Linus stated that the snark verifier in Bitcoin scripts is a significant milestone for the future development of Bitcoin.Based on the current script size, Zulu Network only needs to split the entire ZKP script into fewer than 2000 sub-scripts. "We are very grateful to all contributors to the BitVM repository, including Robin Linus, Weikeng Chen, and we also want to thank Andrija Novakov and Liam Eagen, whose recent paper 'On Proving pairs' greatly reduced the overall size of the script."

ChainCatcher message Sui Network co-founder Kostas Kryptos tweeted: "Sui welcomes zero-knowledge proofs, users can now attach Groth16 ZKP proofs to their transactions, and since our backend combines Arkworks and BLST, this can double the verification performance speed."Meanwhile, the Sui Github interface shared by Kostas shows that the module for Groth16 has been submitted today. Previously reported, Groth16 is a typical algorithm of zkSNARK, proposed by Groth in a paper published in 2016, and this algorithm is currently used in several projects such as ZCash, Filecoin, and Coda. (source link)