Designing a zero knowledge virtual machine for the future's social media mobile apps

Part 1: Mathematical Foundations 1.1 The Field Everything in DenseZK lives over the BN254 scalar field. BN254 is the Barreto-Naehrig curve defined by: $$E : y² = x³ + b over F_p$$ where p is a 254-bit