ZK Co-Processor: Further Opens up the Verifiable Computing Market

ZK Co-Processor opens up the verifiable computing market even more.

Article by Cabin VC, using Axiom as an example, exploring the new ideas and use cases that Ethereum’s ZK Coprocessors bring to the verifiable computing market, taking stock of other projects in this field, and speculating on the development of ZK technology and environment.

By using ZKPs, the ZK coprocessor on Ethereum can introduce historical data into smart contracts, which can bring new use cases. Observing the ZK coprocessor Axiom, its idea is to prove the validity of the computation in ZK, making the computation result usable on the chain. The structure of zkCoprocessor can perhaps be viewed as zkVM x Storage Proof.

Axiom runs through the following modules: 1) Read: trustlessly read the block header, state, transaction, and receipt of Ethereum historical blocks using ZK proofs; 2) Compute: applying verified computational primitives on the ingested data, including various operations in basic analysis (sum, count, max, min), cryptography (signature verification, key aggregation), and machine learning (decision tree, linear regression, neural network inference); 3) Verify: Axiom has a ZK validity proof for each query result, which can be verified on-chain in smart contracts, and the final result can be trustlessly used by any downstream smart contract.

Other projects under this concept include: 1) Bonsai: a proof network based on StarkWare that brings verifiable computation to other chains through zkVM. It allows any chain, protocol, and application to use ZK proofs for scaling, privacy, etc., and aims to be a universal ZK computation accelerator; 2) RiscZero: a STARK-based ZKVM on the Bonsai network, aiming to become a universal ZK computation layer; 3) HyperOracle: a programmable ZK oracle and coprocessor that can run any ZK node network with execution trace proofs; 4) Herodotus: achieving cross-layer data access and synchronization between Ethereum and blockchains through storage proof technology; 5) Poseidon: proposing ZK-ZK Aggregator, which merges a batch of user-generated proofs into one proof through an aggregator, greatly reducing the cost of ZKP verification and bringing scalability to on-chain verification scenarios such as ZKML.

Reference: https://mp.weixin.qq.com/s/dRylg01EJRBQX5xBp3IOiw

We will continue to update Blocking; if you have any questions or suggestions, please contact us!

Share:

Was this article helpful?

93 out of 132 found this helpful

Discover more

Blockchain

Bitcoin "New Bull Market", Li Xiaolai came back, and the off-site organization also came.

Today, nine years ago, a programmer bought two pizzas worth $25 in 10,000 bitcoins. The transaction cost nearly 1.4 b...

Market

Secret history of Bitcoin mining: A miner dug up more than 1 million bitcoins in the early Patoshi model

According to news.bitcoin.com, on April 16th, Sergio Demián Lerner, chief scientist of RSK Labs, published a new...

Market

The popularity of bitcoin is increasing international liquidity

As the popularity of Bitcoin continues to increase, transaction costs also rise, which has led to continued voices in...

Market

Bitcoin ebbs, is there still an optimal solution for digital currency?

In any case, Bitcoin's open source code allows technology to be shared, opening up the "blockchain" th...

Blockchain

Bitcoin is the best, why do you want to send coins? Twitter CEO's payment company Square chooses to firmly support Bitcoin

Square Crypto, the encryption division of the payment company Square, founded by Jack Dorsey, the founder and CEO of ...

Blockchain

Data to | Within a week, the day of trading BTC will not be lost?

Strength is not enough, strategy to make up. I believe that many currency friends who have invested in stocks should ...