zk-snark

Виталик на платформе X заявил, что недавние исследования формата транзакций позволили Эфириуму лучше понять "действия" и "зависимости" в транзакциях, которые можно оптимизировать отдельно; подпись, Merkle-доказательства UTXO и ZK-SNARK или STARK относятся к зависимостям, вызов отправки ETH относится к действиям.Зависимости могут обрабатываться параллельно, зависимости, связанные с состоянием, могут обрабатываться пулом памяти, чистые зависимости могут обрабатываться один раз на уровне пула памяти и могут быть заменены доказательствами STARK, что позволяет уменьшить выполнение и обработку данных. Виталик отметил, что текущая стратегия масштабирования Эфириума требует четкого различия между динамическими гибкими и статически анализируемыми частями, последние могут получить более низкие затраты на газ; по объему транзакций более 90% активности Эфириума не требует динамической гибкости. Тип транзакции EIP-8141 движется в сторону универсального, минималистичного списка вызовов, новые типы состояний, рекурсивный пул памяти STARK и ключевой nonce также относятся к этому направлению.

ChainCatcher news, according to CoinDesk, the infrastructure supporting the Bitcoin second layer network, BitcoinOS (BOS), has announced the open-sourcing of the BitSNARK verification protocol for further experimentation in Bitcoin.The team stated that BitSNARK allows zk-SNARK proofs to run on Bitcoin without altering the core protocol. With advanced cryptographic techniques, any code can be compiled and run on Bitcoin.

ChainCatcher news, at the EDCON 2023 conference held in Montenegro, Ethereum co-founder Vitalik Buterin stated that zk-SNARK will be as important as blockchain in the next 10 years.The Ethereum Community Conference (EDCON) took place from May 19 to 23, 2023, in Podgorica, Montenegro. The conference featured speakers including Ethereum co-founder Vitalik Buterin, Ethereum core developer Tim Beiko, head of the Ethereum Foundation Devcon team Skylar Weaver, and Ethereum Foundation researchers Vlad Zamfir, Piper Merriam, Andy Guzman, and others. (source link)

ChainCatcher news, the privacy blockchain Aleph Zero has announced the successful upgrade of its mainnet to version 10.0, with the smart contract ink! 4.0 now live on the mainnet, supporting the deployment of new DApps on the mainnet. Additionally, Aleph Zero will launch an ecosystem funding program to assist Aleph Zero-based projects in various ways.According to the crypto data platform RootData, Aleph Zero is a Layer 1 privacy-enhanced blockchain developed based on ZK-SNARK cryptography and secure multi-party computation (sMPC), which won the 38th round of Polkadot parachain slot auctions in January 2023. (Source link)

ChainCatcher message, Binance's official Twitter stated that Binance has upgraded its Proof of Reserves (PoR) verification system using zk-SNARK, which is a zero-knowledge proof method designed to enhance the privacy and security of sensitive information.As part of this upgrade, Binance has added four new tokens—SHIB, DOT, CHZ, and SOL—to the PoR system, which now supports 13 mainstream tokens and can verify the holdings in its custody. More new tokens will be supported in the coming weeks. (Source link)

ChainCatcher news, Vitalik published a new article titled "Owning a Secure CEX: Proving Solvency and More," exploring the historical attempts of trading platforms to provide decentralized asset proofs, the technical limitations, and how to use ZK-SNARKs and other advanced technologies to greatly simplify and improve the privacy issues and robustness in the current Merkle tree asset proof protocols. Additionally, Vitalik discusses how to completely prevent trading platforms from stealing users' funds using technologies like Plasma and validiums.At the end of the article, Vitalik stated: "In the future, we may see 'restricted' CEXs where user funds are held in smart contracts similar to validium. We may also see semi-custodial trading platforms where we entrust fiat currency rather than cryptocurrency to them."Previously, ChainCatcher reported on November 14 that Zhao Changpeng stated he would collaborate with Vitalik to launch a new method for proving platform reserves, with Binance serving as a pilot. (source link)