by Omer Shlomovits In this note we provide the hardware perspective on HyperPlonk. We focus on the main building block, the Multivariate SumCheck protocol and compare its computational and memory complexity to that of an NTT (Number Theoretic Transform). Read this article on HackMD: https://hackmd.io/@omershlo/rJhgKJPtj Background — HyperPlonk Plonk is one of the…

by Elan Neiger In the first week of December, 2022, the term “Metaverse” placed second in the Oxford English Dictionary’s competition for Word of the Year, a vote cast by over 300k people signifying a word or expression believed to have lasting cultural significance reflecting the ethos and moods of…

by Tony Wu When implementing a system involving both software and hardware components, unforeseen issues always seem to occur at the interfaces. Today we will look at one such pain points that occurs when transferring large amounts of data from a software application running on a typical x86 host machine…

TL;DR: We demonstrate integration of our cloud-ZK FPGA acceleration by running Arkworks Groth16 over the BN254 curve This work can easily be extended to support other primitives in the Arkworks framework and various System/HW configurations This is a joint work with Geometry research Background Cloud-ZK is our toolkit for developing ZKP acceleration…

By Karthik Inbasekar Bridges are communication protocols that facilitate the transfer of information such as messages, funds or other data between blockchains. While useful, building bridges is a risky business. Some of the most expensive hacks in blockchain history have targeted bridges alone. As of 2022, it is estimated that…

By Karthik Inbasekar Covering: Soft intro to hashes in ZKP Real-world use cases Design patterns Weirdest / Coolest names in cryptography literature Abstract: In this article we present a systematization of knowledge (SoK) on the usage of hash functions in Zero Knowledge Proofs (ZKP’s). Since ZKP’s operate on finite fields, traditional…