The ZeroSync Association is developing a Bitcoin proof system based on STARK proofs

Coinlive- We Make Blockchain Simpler

Download and install the Coinlive app

Open

28/03/2023 18:10

Robin Linus, Tino Steffens, Lukas George and others have established a Swiss non-profit organization called ZeroSync Association (ZeroSync Association), which will take the lead in developing the Bitcoin proof system and building a future with Bitcoin privacy, interoperability and scalability. ZeroSync is based on STARK proofs, and to implement Bitcoin proofs, the Cairo language created by StarkWare is used. ZeroSync will be rolled out in three consecutive phases, namely Header Chain Proof, Hypothetically Valid Chain Proof, and Full Chain Proof, and the first two prototypes have been completed. The ZeroSync Toolkit will also provide Bitcoin developers with powerful tools to apply zero-knowledge proofs to their own products and services.

Bullish2

Bearish

More news about stark proofs

Feb 22, 2024 5:49 pm
Polygon LabとStarkWare、新証明技術「Circle STARK」発表
Polygon LabとStarkWareがCircle STARKを発表ポリゴンラボ（Polygon Lab）とスタークウェア（StarkWare）が、両社の協力により開発した新たな証明システム「サークルスターク（C […] source: https://www.neweconomy.jp/posts/372601
Feb 22, 2024 5:41 am
Polygon and StarkWare collaborate to launch ZK’s major technology upgrade “Circle STARK”
Polygon and StarkWare have teamed up to launch “Circle STARKs,” a major technological upgrade to current zero-knowledge proofs (ZK).
Jan 12, 2024 2:54 am
What Are Zero-Knowledge Proofs?
Zero-knowledge proofs (ZKPs) allow crypto network users to verify the validity of a transaction without revealing details of the transaction. source: https://www.coindesk.com/consensus-magazine/2024/01/11/what-are-zero-knowledge-proofs/?utm_medium=referral&utm_source=rss&utm_campaign=headlines
Nov 06, 2023 1:12 pm
LambdaClass enables full STARK compatibility between Stone and Platinum provers
Starknet Chinese posted on the X platform that the LambdaClass team has achieved full STARK compatibility between Stone and Platinum provers. Lambdaworks Stark Platinum Prover is currently adding CairoVM constraints, built-in programs, and layouts, and supports using Lambda Stark Platinum to generate proofs and using Stone for verification. According to previous news on November 1, LambdaClass founder Federico Carrone announced that he would donate more than 20,000 TIA airdrops he received to the Protocol Guild, an organization of contributors to the Ethereum core protocol.
Jul 17, 2023 2:24 pm
zkSync Era launches STARK-based proof system Boojum
zkSync Era posted that it is transitioning to a new STARK-based proof system called Boojum, which complements the zkSync Era sequencer. Boojum provers only need 16GB RAM, which can realize the decentralization of large-scale provers in the future. At present, the shadow certificate has been launched on the mainnet. At this stage, the shadow mode of the mainnet is in the testing stage, but the "shadow certificate" has been generated and verified in the mainnet block. Boojum features include PLONK-style arithmetic, FRI commitment scheme, efficiency of "boring" parts of the system, ease of scaling, single stack, etc. Boojum can enhance performance and also reduce decentralized hardware requirements, proving transactions faster.
Apr 01, 2023 11:06 am
Blockstream will partner with ZeroSync to broadcast ZK chain proofs via Blockstream Satellite
ZeroSync, which aims to bring zero-knowledge proofs to Bitcoin, said that Bitcoin and blockchain infrastructure company Blockstream CEO Adam Back has agreed to cooperate with ZeroSync to broadcast ZK chain proofs via Blockstream Satellite (satellite). ZeroSync previously stated that it will take the lead in developing the Bitcoin proof system to build a future with Bitcoin privacy, interoperability and scalability. ZeroSync is based on STARK proofs, and to implement Bitcoin proofs, the Cairo language created by StarkWare is used.
Feb 05, 2023 7:40 pm
StarkWare will open source encryption proof generation engine STARK Prover
StarkWare announced that it will open source the cryptographic proof generation engine STARK Prover under the Apache 2.0 license. STARK Prover provides support for StarkNet and StarkEx to achieve large-scale pupil expansion while maintaining the security of Ethereum. This is another open source move by StarkWare after open source Cairo 1.0, Papyrus Full Node and StarkNet's new Sequencer. StarkWare emphasized that after the implementation of the open source plan, the entire StarkNet technology stack will be open source.
Nov 24, 2022 6:27 pm
Changpeng Zhao: Merkle Tree Proofs Coming Soon
Changpeng Zhao tweeted, "The encryption industry will be more transparent than the traditional financial industry. Merkle tree proof (Merkle trees) will be launched soon."
Sep 17, 2022 9:11 am
Layer2 ZK Rollup’s NFT marketplace Mint Square launches .stark domain
Mint Square, an NFT marketplace based on Ethereum Layer 2 ZK Rollup, launched the .stark domain name powered by Starknet.id. .stark profile URLs are now supported on the Mint Square testnet, with mainnet coming soon, and can now be filtered by length or searched and browsed by category.
Aug 23, 2022 9:40 am
Polygon's STARK-based Polygon Miden releases Miden VM v0.2
Polygon Miden, Polygon's STARK-based Ethereum-compatible solution, released Miden VM v0.2. This version of Miden VM is Turing complete and has read-write random access memory (read-write random access memory). 32-bit unsigned integer arithmetic support. Foresight News notes that Miden VM is a fully open-source STARK-based virtual machine whose role is to verify program execution and provide enhanced due diligence for DApp deployment.