Wei Dai

@weidai

Joined on Jan 4, 2022

  • Notation We fix a field $\mathbb F$ and multiplicative subgroup ${x, x^2, \ldots} = H \subset \mathbb F$. A "column" is a polynomial $P \in \mathbb F[X]$ of degree at most $|H|$. The elements of the column $P$ are $P(x), P(x^2), \ldots$. For notational convenient, we use the lowercase letter, e.g. p, to denote the value of column $P$ at a particular row, or element, of $H$. Memory Argument Supporting Continuations The memory Stark contains the following 7 columns. $$(Clk, Addr_{r}, R_{r}, Addr_{s}, R_{s}, Addr_w, R_{w})$$ Additionally, the Stark specifies two input memory columns and two output memory coulumns:
     Like  Bookmark
  • (Archival version) Kyle Charbonnet and Wei Dai Sept 24 Introduction FLAX is an EVM compatible dApp that allows users to anonymously interact with any on-chain application that work with ERC20, 721, or 1155 assets. FLAX overcomes two shortcomings of existing privacy solutions for Ethereum: Backwards incomaptibility -- requirement of changes made to existing DeFi smart contracts (Ex. Aztec) Requirement of leaving and rejoining the anonymity pool in separate transactions (Ex. TornadoCash, Zkopru)
     Like  Bookmark