Cointime

Download App
iOS & Android

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

  • Bank of Japan to Maintain Interest Rates in April

    On April 21, according to Nikkei News: The Bank of Japan will maintain interest rates unchanged in April.

  • Iranian Military: Ready to Respond Decisively to 'Enemy's Breach of Promises'

    On April 21, local time, Abdollahi, commander of the Khatam al-Anbiya Central Command of the Iranian Armed Forces, stated that Iran is prepared to respond decisively to the 'enemy's breach of promises.' Abdollahi emphasized that the current Iranian military possesses 'authority, readiness, and comprehensive strategic capabilities.' He noted that the Islamic Revolutionary Guard Corps and other defense forces have demonstrated combat capabilities in relevant operations, putting 'Israel and the United States in a difficult and fatigued position,' forcing them to 'seek a ceasefire.' Abdollahi also stressed that the Iranian armed forces maintain a high level of unity with the government and the people under the supreme leader's unified command, and will respond 'decisively, resolutely, and promptly' to any threats and actions. (CCTV News)

  • Another Iranian Oil Tanker Returns to Iran After Breaking US Blockade

    On April 21, according to CCTV News, maritime intelligence company 'TankerTrackers' reported that a tanker belonging to the National Iranian Tanker Company returned to Iran after unloading approximately 2 million barrels of crude oil in Indonesia, crossing the relevant maritime blockade line. The tanker is currently en route to Iran's main oil export hub, Khark Island, and is expected to arrive on April 22 local time. It is reported that the tanker set sail from Iran in late March, heading towards the Riau Islands of Indonesia.

  • White House: US and Iran on the Verge of Reaching an Agreement

    On April 21, White House Press Secretary Kayleigh McEnany stated in an interview with Fox News on the evening of the 20th that the United States and Iran are on the "verge of reaching an agreement." McEnany remarked, "The US has never been closer to achieving a truly good deal." However, she did not disclose any information regarding the current status of the negotiations. McEnany noted that even if an agreement is not reached, President Trump has multiple options and is not afraid to utilize these measures. Previous actions have demonstrated that Trump is not just "bluffing."

  • Kelp DAO Attacker Transfers 30,800 ETH to Special Address

    On April 21, news emerged that, according to monitoring by PeckShield, the Kelp DAO attacker transferred 30,800 ETH to a special address starting with 0x00000, possibly indicating a destruction action.

  • Trump: 'Midnight Hammer' Completely Dismantled Iran's Nuclear Dust Base

    On April 21, U.S. President Trump stated that the 'Midnight Hammer' operation has completely destroyed the 'nuclear dust' base within Iran. As a result, the cleanup will be a long and arduous process. The fake news media, including CNN and other corrupt media networks and platforms, have failed to give our great pilots the credit they deserve, instead always attempting to belittle and undermine them. They are losers!!! (Dongxin News Agency)

  • BTC Drops Below $76,000

    Market data shows that BTC has dropped below $76,000, currently priced at $75,999.63, with a 24-hour increase of 1.68%. The market is experiencing significant volatility, so please ensure proper risk management.

  • Japan Officially Allows Export of Lethal Weapons Through Cabinet Resolution

    On April 21, according to Kyodo News, the Japanese government officially revised the 'Three Principles on Transfer of Defense Equipment' and its operational guidelines during a cabinet meeting, which will, in principle, allow the export of lethal weapons. (Xinhua News Agency)

  • Trump Claims Iran Will Negotiate

    On April 21, during a phone interview with CNN, U.S. President Trump stated that Iran "will negotiate" and expressed confidence in potential talks set to take place in Pakistan. Trump remarked, "They will negotiate; if they don't, they will face unprecedented problems." He also expressed hope that both sides could reach a "fair agreement" and emphasized that Iran "will not have nuclear weapons." Additionally, he defended military actions against Iran by stating there was "no choice" and claimed that they would ultimately "wrap things up."

  • Amazon to Invest Additional $5 Billion in Anthropic

    On April 21, Amazon announced on Monday that it will invest an additional $5 billion in the artificial intelligence company Anthropic, bringing the total investment to as much as $20 billion. Anthropic develops the Claude chatbot and programming tools, and plans to invest over $100 billion in Amazon's cloud technology and chips over the next decade.