ZK Hack Mini

1. 引言

ZK Hack为为期2周的线上活动，分为：

• workshop
• puzzle solving competition

具体安排为：

• 1）2022年3月1日：
  • 1.0）ZK Hack Mini Introduction
  • 1.1）Workshop：来自于Polygon Miden的Bobbin Threadbare 介绍STARK proving system的基础知识，整体了解Winterfell STARK prover and verifier，并使用Winterfell构建STARK-based post-quantum VDF。
  • 1.2）Workshop：来自于Polygon Miden的Bobbin Threadbare 介绍Miden虚拟机。Miden虚拟机，为图灵完备的STARK-based vritual machine，可提供安全性以及支持当前以太坊不支持的高级特征。
  • 1.3）Puzzle M1
• 2）2022年3月8日：
  • 1.0）Introduction and prize presentation（奖品由Aleo赞助）
  • 1.1）Workshop：来自于Polygon Zero 的 William Borgeaud 介绍Plonky2——a recursive SNARK that improves on previous SNARK constructions and is natively compatible with Ethereum. It combines PLONK and FRI from STARKs, with fast proofs and no trusted setup with support for recursion and low verification cost on Ethereum.
  • 1.2）Workshop：来自于olygon Hermez 的 Jordi Baylina 和 David Schwartz 介绍 Polynomial Identity Language。
  • 1.3）Puzzle M2
• 3）2022年3月15日：
  • 1.0）ZK Hack Mini Finale and prize presentation (奖品由anoma赞助)
  • 1.1）Zero Knowledge Panel Discussion
  • 1.2）ZK Hack Mini Afterparty and Job Fair

参考资料

[1] zkhack mini 官网 [2] Polygon Miden

附录——Polygon Miden

Polygon Miden为以太坊的L2扩容方案。Miden依赖zk-STARKs技术将数千笔L2交易 “roll-up” 为 a single Ethereum transaction，从而可提高交易吞吐量，并降低交易费用。

Polygon Miden为基于zk-STARK的zk-rollup方案，支持任意语言的智能合约。

Polygon Miden的核心为Miden VM： 为图灵完备的STARK-based vritual machine，可提供安全性以及支持当前以太坊不支持的高级特征。

开源代码见：

• https://github.com/maticnetwork/miden（Rust语言）

Polygon Miden的主要特征有：

• Secure and scalable
  • Ethereum-level security provided by zk-STARKs
  • Transparent (no trusted setup) and post-quantum secure
  • High throughput of 1,000+ TPS before sharding and 10,000+ TPS after sharding
  • Low transaction fees: over 100x lower than fees on Ethereum
• Safely programmable
  • Arbitrary smart contracts written in Solidity and other languages
  • Account abstractions and other features not yet available on Ethereum
  • Simpler formal verification of contracts due to safe VM architecture
  • Clear roadmap to privacy-preserving smart contracts
• Open and permissionless
  • Fully open-source and community-driven development
  • Decentralized and permissionless network
  • Non-custodial architecture (full ownership of assets)
  • Censorship-resistant

Polygon当前产块间隔为5s，tps为1000+，提现到以太坊需约15分钟。

Polygon Miden总体架构为：