A tiny polynomial turns x positions into shard values.

highlighted = computed this step

Pin the line

The shard rule is f of x equals 2 plus 3 times x, all modulo 5.

f(x)=2+3x(mod5)f(x)=2+3x\pmod{5}
A line makes shardsGF(5) shard rows recomputed from pinned polynomial and kept shards.A line makes shards - recover f(1)=0 in GF(5)rowvaluecheckpolynomial2+3x mod 5pinned polynomialshard x=02f(0)shard x=10f(1)shard x=23f(2)shard x=31f(3)missingx=1erasure locationkept(0,2) and (2,3)two surviving shardsdelta y1y2-y0 mod pdelta x2x2-x0 mod pinverse2^-1=3field inverserebuilt slope3delta y times inverserebuilt intercept2y-mxrecovered0f(1)

The starting value

At x equals 0, the shard value is the intercept 2.

f(0)=2f(0)=2
A line makes shardsGF(5) shard rows recomputed from pinned polynomial and kept shards.A line makes shards - recover f(1)=0 in GF(5)rowvaluecheckpolynomial2+3x mod 5pinned polynomialshard x=02f(0)shard x=10f(1)shard x=23f(2)shard x=31f(3)missingx=1erasure locationkept(0,2) and (2,3)two surviving shardsdelta y1y2-y0 mod pdelta x2x2-x0 mod pinverse2^-1=3field inverserebuilt slope3delta y times inverserebuilt intercept2y-mxrecovered0f(1)

The step size

Each step in x adds slope 3 before the modulo wrap.

slope=3\text{slope}=3
A line makes shardsGF(5) shard rows recomputed from pinned polynomial and kept shards.A line makes shards - recover f(1)=0 in GF(5)rowvaluecheckpolynomial2+3x mod 5pinned polynomialshard x=02f(0)shard x=10f(1)shard x=23f(2)shard x=31f(3)missingx=1erasure locationkept(0,2) and (2,3)two surviving shardsdelta y1y2-y0 mod pdelta x2x2-x0 mod pinverse2^-1=3field inverserebuilt slope3delta y times inverserebuilt intercept2y-mxrecovered0f(1)

Summary

A tiny line creates several shard numbers. Later, two kept points can rebuild the same line.

two points rebuild a line\text{two points rebuild a line}
A line makes shardsGF(5) shard rows recomputed from pinned polynomial and kept shards.A line makes shards - recover f(1)=0 in GF(5)rowvaluecheckpolynomial2+3x mod 5pinned polynomialshard x=02f(0)shard x=10f(1)shard x=23f(2)shard x=31f(3)missingx=1erasure locationkept(0,2) and (2,3)two surviving shardsdelta y1y2-y0 mod pdelta x2x2-x0 mod pinverse2^-1=3field inverserebuilt slope3delta y times inverserebuilt intercept2y-mxrecovered0f(1)