This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ The Eigen MultiSig Wallet NCW has been renamed to EigenSafe; check out the doc here: https://medium.com/@ieigen/eigen-self-custodial-wallet-introduction-be0be5cb5ee0 Anonymity Address： based on DKSAP (The dual-key stealth address protocol), we use multiple spending key and a…

Eigen ZKZRU adopts a fast dual key exchange-based stealth address scheme for address anonymity. Check out the tutorial https://ieigen.github.io/#/docs/usage/StealthAddress. In general, the Stealth address and Nullifier are two widely used anonymous transaction schemes. Compared to Nullifier used by Tornado Cash and AZTEC, Stealth address is account-friendly. Stealth address enables the…

In the previous article we introduced some concepts and preliminaries, in this article we will introduce how to convert a general program into a QAP problem and verify it using zk-SNARK. Let’s first look at the following equation:

Introduction What’s zero knowledge proof? Zero-knowledge proof, abbreviated as ZKP, was originally proposed by S. Goldwasser, S. Micali and C. Rackoff in the 1985 paper “The Knowledge Complexity of Interactive Proof Systems”[1], referring to the ability of the prover to convince the verifier that an assertion is correct without providing any useful information to the…

In the previous blog, we introduced the definitions of Sumcheck protocol. Now we’ll describe Sumcheck argument based on Sumcheck protocol and Pedersen commitment. Firstly, here we give a definition of Sumcheck-friendly commitments. A commitment scheme CM is Sumcheck friendly if Comm(ck, m) = \sum_{w_1,…, w_l \in H} f(p_m (w_1, ……

Sumcheck protocol was first introduced in paper[1] by Carsten Lund et.al in 1992, described below, the purpose of Sumcheck protocol is to prove the P know vector {w_1, …, w_l}, s.t. where `u` is claimed sum, l is the number of variables, and H is subset of R.

This is our monthly progress report, please check out the updates on product, technology, and community building. Development & Product Spotlight 🕵️‍♂️ The Eigen MultiSig Wallet NCW: NCW common module governance rolled out. Every Governance Token Holder can vote themselves or delegate their votes to others. More details can check out here. EigenSecret Dashboard UX…

Algebraic Group Model (AGM[1]) is a group-specific cryptographic model for assessing hardness assumptions in cryptography. Most well-known scheme is Standard Model[2], such as Factorization, Discrete Logarithm Problem, etc. For hardness assumptions, similar to Random Oracle Model for idealized hash function, GGM(Generic Group Model)[3] is often used to interacts with a…

A commitment scheme is a cryptographic primitive that allows one to commit to a chosen value (or determined statement) while keeping it hidden to others, with the ability to reveal the committed value later, that is commitment is hiding. Commitment schemes are designed so that a party cannot change the…