Building Babylon · Scour

Unlucky folds & the correlated agreement theorem

building-babylon.net·48w

Re-randomization and information leakage in MPC multiplication using Shamir secret sharing

building-babylon.net·50w

Consequences real & imaginary of “How to Prove False Statements: Practical Attacks on Fiat-Shamir”

building-babylon.net·60w

Building a polynomial commitment scheme from the FRI-IOPP

building-babylon.net·65w

From equivalences of Reed-Solomon codes to algebraic geometry codes

building-babylon.net·67w

FRI is a proof of proximity, not a low-degree test

building-babylon.net·68w

When is a polynomial determined by evaluations? Polynomial interpolation over commutative rings with unity.

building-babylon.net·93w

Efficient polynomial interpolation on $0, 1, 2, .. $ (the inverse Vandermonde on integer nodes)

building-babylon.net·94w

Associativity of the group law on an elliptic curve via the Cayley-Bacharach theorem

building-babylon.net·101w

A construction of the finite fields (with exercises)

building-babylon.net·102w

The multiplicative group of a finite field is cyclic

building-babylon.net·114w

Understanding LogUp: A Royal Road

building-babylon.net·115w

The limits of linear-time machine learning

building-babylon.net·126w

Polynomials over a finite field vs polynomial functions on a finite field

building-babylon.net·132w

Deep Differentiable Logic Gate Networks & their (potential) relevance to ZKML

building-babylon.net·156w

Pairings on elliptic curves: a toy example

building-babylon.net·171w

What does an elliptic curve look like near the point at infinity (the identity)?

building-babylon.net·173w

A toy elliptic curve over a finite field

building-babylon.net·202w

Siegelmann & Sontag’s “On the Computational Power of Neural Nets”

building-babylon.net·417w

Graph embeddings in Hyperbolic Space

building-babylon.net·421w

Log in to enable infinite scrolling