Cointime

CESC ‘22: Field Notes from The ZKP Workshop

Field notes is a series where we report on the ground at significant industry, research, and other events. In this edition, Valeria Nikolaenko, a Research Partner with the a16z crypto lab, reports on the Zero Knowledge Proof Workshop from the Crypto Economics Security Conference (CESC), which took place on October 30 at the University of California at Berkeley. The program aimed to bring together researchers and practitioners to showcase and discuss the most recent developments in blockchain and web3. You can watch recordings of the presentations here.

  • Yupeng Zhang (Texas A&M University) presented a tutorial on recent development of ZKP systems, an exceptional overview of different approaches to building zk proof systems, mapping them across 4 axes: poof succinctness, prover and verifier efficiency, and transparent vs. trusted setup.
  • Dan Boneh (Stanford University) presented an overview of abstraction of IOPs in general and Plonk polynomial-IOP in particular.

Dan also explained a new system called HyperPlonk, which can eliminate expensive FFTs on the prover’s side and handles gates of high degree much more efficiently, reducing both prover’s time and proof’s size. The interesting parameter to remember is that FFTs dominate the prover’s time when the number of gates is above 220.

  • Tiancheng Xie (UC Berkeley) presented on the zkBridge (read the paper here), highlighting the importance of better design for bridges in light of numerous recent hacks (Ronin Bridge exploitWormhole hackNomad bridge drain, and so on). zkBridge minimizes trust and improves performance with deVirgo zero-knowledge proof system.
  • Dawn Song (UC Berkeley) announced zkCollective – a foundation for secure cross-chain interoperability. The form to participate in the effort can be filled out here.
  • Leo Fan (Cysic) highlighted their results for accelerating multi-scalar multiplication (MSM) on FPGA for zk-prover’s, where MSM often accounts for more than 50% of prover’s time. They are estimated to be faster than comparable efforts (PipeMSM and CycloneMSM). Their ultimate goal is to build an ASIC.
  • Marek Olszewski (Celo) gave a great demo on running Celo’s light client, Plumo, which has been 2 years in development and launched this year. The client is developed as a massive circuit with 227 gates, and powered by an optimistic powers-of-tau ceremony that can be useful for other projects. Community members are generating SNARK-proofs daily (after each epoch change), a proof takes ~1 hour on a 256-core machine. Their WASM library allows the verification of the proofs from web apps.
  • Howard Wu (Aleo) presented the ideas behind the design of Aleo, which builds a blockchain for private transactions that permits concurrency and efficient state updates.
  • Jeremy Bruestle (Risc0) explained the design rationale behind building a zkVM for RISC-V instruction set implemented with zkSTARKs. RISC-V has a very small set of instructions (<40), well supported by different compilers, fully open. And, most importantly, it’s designed for efficient hardware implementations, which implies efficient circuit design for zk proofs.
  • Uma Roy (Succinct Labs) gave an overview of a way to succinctly verify Ethereum’s consensus with zkSNARKs with proving time is only 1 minute.

***

Valeria Nikolaenko is a Research Partner at a16z crypto. Her research focuses on cryptography and blockchain security. She has also worked on topics such as long-range attacks in PoS consensus protocols, signature schemes, post-quantum security, and multi-party computation. She holds a PhD in Cryptography from Stanford University under advisorship of Professor Dan Boneh, and worked on the Diem blockchain as part of the core research team.

***

The views expressed here are those of the individual AH Capital Management, L.L.C. (“a16z”) personnel quoted and are not the views of a16z or its affiliates. Certain information contained in here has been obtained from third-party sources, including from portfolio companies of funds managed by a16z. While taken from sources believed to be reliable, a16z has not independently verified such information and makes no representations about the enduring accuracy of the information or its appropriateness for a given situation. In addition, this content may include third-party advertisements; a16z has not reviewed such advertisements and does not endorse any advertising content contained therein.

This content is provided for informational purposes only, and should not be relied upon as legal, business, investment, or tax advice. You should consult your own advisers as to those matters. References to any securities or digital assets are for illustrative purposes only, and do not constitute an investment recommendation or offer to provide investment advisory services. Furthermore, this content is not directed at nor intended for use by any investors or prospective investors, and may not under any circumstances be relied upon when making a decision to invest in any fund managed by a16z. (An offering to invest in an a16z fund will be made only by the private placement memorandum, subscription agreement, and other relevant documentation of any such fund and should be read in their entirety.) Any investments or portfolio companies mentioned, referred to, or described are not representative of all investments in vehicles managed by a16z, and there can be no assurance that the investments will be profitable or that other investments made in the future will have similar characteristics or results. A list of investments made by funds managed by Andreessen Horowitz (excluding investments for which the issuer has not provided permission for a16z to disclose publicly as well as unannounced investments in publicly traded digital assets) is available at https://a16z.com/investments/.

Charts and graphs provided within are for informational purposes solely and should not be relied upon when making any investment decision. Past performance is not indicative of future results. The content speaks only as of the date indicated. Any projections, estimates, forecasts, targets, prospects, and/or opinions expressed in these materials are subject to change without notice and may differ or be contrary to opinions expressed by others. Please see https://a16z.com/disclosures for additional important information.

Comments

All Comments

Recommended for you

  • Hong Kong Police: The number of people reporting JPEX cases reached 2,360, involving nearly HK$1.5 billion

    On September 25th, Hong Kong police stated that the number of JPEX victims has reached 2360, involving a total amount of approximately HKD 1.49 billion. 

  • Hong Kong Polytechnic University submits recommendations in the 2023 Chief Executive’s Policy Address: Promote the application of global Legal Person Identifier (LEI) based on blockchain technology

    Policy Research Center for Science and Innovation Technology (PReCIT) at the Hong Kong Polytechnic University submitted a proposal to the government during the public consultation period for the Chief Executive's 2023 Policy Address. The proposal suggests that the Hong Kong government consider establishing an international data center and supercomputing center, promoting the application of global legal entity identifier codes (LEI) based on blockchain technology, and improving the regulatory framework for artificial intelligence.

  • Vice President of United Hong Kong Fund: The Hong Kong Securities and Futures Commission can imitate the US SEC in regulating virtual asset trading platforms as the next step

    Shui Zhiwei, Vice President and Co-Director of Research Department of the United Hong Kong Foundation, said that in the next step, the Hong Kong Securities and Futures Commission can follow the latest Markets in Crypto-Assets Regulation (MiCA) of the US Securities and Exchange Commission (SEC) and the European Union, gradually requiring virtual asset trading platforms to disclose more comprehensive and clear information, including business operation models, financial conditions, risk management measures, user fund protection measures, and even transaction data, and can also be extended to regulate virtual asset issuers in the future. Based on the characteristics of many platforms operating across regions, Hong Kong should also cooperate with regulatory agencies in other regions to combat and promote the development and regulatory work of the virtual asset market, and enhance, strengthen, and effectively enforce the law. 

  • Wu Jiezhuang: It has been recommended that the Hong Kong Legislative Council establish a "Web3 and Virtual Asset Development Subcommittee"

    Hong Kong Legislative Council member Wu Jiezhuang posted on social media saying that virtual assets are a new thing with huge development potential. Many policies and regulations need to be improved and supplemented. He has written to the chairman of the Internal Affairs Committee of the Hong Kong Legislative Council to suggest the establishment of a "Web3 and Virtual Asset Development Subcommittee" as soon as possible. He hopes to discuss and explore the development of Web3 and virtual assets in the next twelve months, including examining the loopholes in current regulations, such as the recent "explosion" incident of virtual asset trading platforms, studying optimization measures to ensure sustainable and responsible development of Hong Kong's virtual asset industry, and discussing how to strengthen protection for virtual asset investors and enhance market confidence. Wu Jiezhuang said that he hopes that Web3 and virtual assets will have better development in Hong Kong, allowing Hong Kong to achieve an international leading position in the virtual asset industry and further enhance Hong Kong's status as an international financial center.

  • Amazon to Invest $4 Billion in Anthropic to Become Its Primary Partner

    According to Bloomberg News, Amazon will invest up to $4 billion in Anthropic, becoming a key partner in the field of generating artificial intelligence and demonstrating its trust in the popular startup company.As part of the deal, Anthropic will transfer most of its software to Amazon Web Services data centers and use the cloud computing company's local chips to train models to support chatbots and other applications.

  • European crypto fund Eureka partners completes $40 million in fundraising

    European encryption fund Eureka Partners has raised $40 million, with full participation from Nordic Venture Innovations AB. The funds raised by Eureka Partners will be used to accelerate its development in the blockchain and cryptocurrency fields. 

  • Hong Kong's Securities Regulator to Publish List of Licensed and Suspicious Cryptocurrency Trading Platforms

    The Securities and Futures Commission (SFC) in Hong Kong has pledged to increase its efforts to combat unregulated cryptocurrency trading platforms in its jurisdiction. To help members of the public identify potentially unregulated virtual asset trading platforms (VATPs), the SFC will publish a list of all licensed, deemed licensed, closing down, and application-pending VATPs.

  • The Securities and Futures Commission of Hong Kong Will Publish 4 Lists of Virtual Assets and 1 List Specifically Targeting Suspicious Virtual Asset Trading Platforms

    September 25th, the Hong Kong Securities and Futures Commission (SFC) will take multiple measures to enhance information dissemination and investor education in response to recent public attention on unregulated virtual trading platforms. SFC's CEO stated that the SFC will publish four lists of virtual assets online, including licensed platform lists, closed platform lists, platforms treated as licensed but not actually licensed, and new applicant lists.

  • SlowMist: The Mixin Network Cloud Service Provider Database Was Attacked, Involving Approximately $200 Million in Funds

    SlowMist, a blockchain security company, claimed on social media that on September 23, the database of Mixin Network, a cloud service provider, was attacked, involving approximately $200 million in funds. SlowMist is assisting with the investigation.

  • Total number of StarkNet bridge users exceeds 1 million

    According to the latest data from Dune Analytics, the Ethereum Layer 2 scaling solution StarkNet has bridged over one million users, with the current number reaching 1,002,053, second only to zkSync (2,343,106), surpassing Arbitrum (668,229), Optimism (332,450), and Base (277,218). In addition, the current StarkNet bridged TVL is 571,882 ETH, which is approximately $900 million at the current price.