The ZK Summit 2024 focuses on hardware optimization and Decentralization proof networks, looking forward to a 1000-fold efficiency improvement.

robot
Abstract generation in progress

Zero Knowledge Summit 2024: On-site Report

On April 10, 2024, the 11th Zero Knowledge Summit was held in Athens. The summit gathered around 500 participants and featured four speeches. Below is a summary of the key points from the summit, covering the latest developments in zero-knowledge hardware, SNARK performance, and proof network design.

ZK Hardware Development

The hardware support for zero-knowledge proofs has always been a focal point of industry attention. At this summit, several experts discussed the current status and future of ZK hardware:

  • A researcher provided a comprehensive overview of the ZK hardware field, involving multiple companies that use generic hardware, manufacture custom hardware, and operate decentralized proof networks. He predicts that combining hardware-optimized SNARK verification systems with other upcoming optimizations could achieve a 1000-fold increase in computational efficiency, which would have a significant impact on the future development of Ethereum. He also mentioned that a certain organization plans to hold a formal verification competition for provers and verifiers, with prizes reaching up to 20 million dollars.

  • The co-founder of a hardware company introduced their SNARK verification system under development, which is based on binary tower fields and the sumcheck protocol. He pointed out that in certain applications, the performance of the hash function Groestl is significantly better than that of Keccak, a finding that could influence future system design choices.

Decentralized Proof of Stake Network

Several experts discussed the future development direction of decentralized prover networks:

  • The co-founder of a certain company introduced their upcoming proof-of-stake network. She analyzed different network design mechanisms and suggested that competition-based or mining-based models might not be effective. She proposed that the design goals should be, in order: minimal cost, maximum latency, and resistance to censorship. She predicted that auction models are most likely to become mainstream, potentially resembling the current block-building process in the future.

  • A PhD student introduced a new paper on the economics of proof networks. He pointed out that bilateral auctions are susceptible to collusion and proposed an alternative mechanism called Proo-phi, which introduces new matching transactions and proof mechanisms.

  • The technical director of a certain company discussed the proof market supporting Multi-Party Computation (MPC), particularly how to achieve trustless large provers while protecting the privacy of small clients. He explored how to select combinations of proof systems to optimize the linear computation costs in MPC.

ZK Credential Innovation

The meeting also discussed various schemes for constructing zero-knowledge credentials based on the existing identity system:

  • ZK email address ownership proof based on email DKIM signature, applicable in scenarios such as anonymous remittance and reporting.

  • Utilize OpenID Connect for interactions with traditional web2 identities to enable applications such as remittances to social media accounts.

  • Build anonymous credentials from existing e-passports, allowing users to prove specific information without disclosing detailed personal information.

These innovative solutions demonstrate the broad application prospects of zero-knowledge proof technology in authentication and privacy protection.

ZK-5.33%
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • 11
  • Share
Comment
0/400
liquidation_watchervip
· 07-11 17:38
Wow, it turns out that increasing by 1000 times is so easy.
View OriginalReply0
NFTArtisanHQvip
· 07-11 16:00
deconstructing zk through post-digital aesthetics... just like duchamp's readymades but on-chain tbh
Reply0
MetaNomadvip
· 07-10 04:54
Ah, I can't wait for the day when efficiency skyrockets.
View OriginalReply0
GateUser-378c4af2vip
· 07-08 18:36
thanks for the useful information 🙂
Reply0
InfraVibesvip
· 07-08 18:15
A 1k times increase in bulls is unbelievable.
View OriginalReply0
ParanoiaKingvip
· 07-08 18:13
k times? Show me a practical operation.
View OriginalReply0
TokenTaxonomistvip
· 07-08 18:05
statistically speaking, hardware bottlenecks remain suboptimal. *checking spreadsheet*
Reply0
RooftopReservervip
· 07-08 18:01
This zk field is being pumped again, retail investors be careful not to act impulsively.
View OriginalReply0
SnapshotDayLaborervip
· 07-08 17:59
It's here, it's here, zk has finally exploded!
View OriginalReply0
DeFi_Dad_Jokesvip
· 07-08 17:50
I don't understand a word, just hold on.
View OriginalReply0
View More
Trade Crypto Anywhere Anytime
qrCode
Scan to download Gate app
Community
English
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)