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 the past twelve months.
We are a next-generation semiconductor collective, designing accelerators for advanced cryptography. Our mission is to lead the pack, forging the bedrock upon which applications requiring Zero Knowledge Proof performance can be built at greater speed and scale.
In this article, we dive deep into the heart of the Marlin protocol introduced in [1]. The goal of the document is to provide intuition in the various technical steps involved in the protocol with necessary explanation wherever possible. We will assume some familiarity with protocols such as Groth16
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.
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 time-tested hash functions like SHA256 are unsuitable due to overhead in proving and verification of large number of bitwise operations.
Zero Knowledge (ZK) technology is a fundamental building block for decentralized computing. Its two main applications are privacy-preserving computation and verifiable computation. For specific types of ZK such as SNARK and STARK-based systems, additional properties include public verifiability, smaller proof sizes, and fast verification, making these kinds of ZK perfect for use in blockchains for scalability and privacy purposes.
Zero Knowledge (ZK) technology is a fundamental building block for decentralized computing. Its two main applications are privacy-preserving computation and verifiable computation. For specific types of ZK such as SNARK and STARK-based systems, additional properties include public verifiability...
Danksharding is the new sharding design proposed for the Ethereum 2.0 blockchain, which introduces significant simplifications compared to previous designs. In Danksharding, the Beacon block is a periodic data structure, constructed by a Builder, whose primary concern is to enable Validators to verify the correctness and availability of its data, using constant-time sampling and verification.