Each shard is one exact evaluation of the pinned line.

highlighted = computed this step

Evaluate at pinned x values

The book pins four x positions and evaluates the same line at each position.

evaluate pinned positions\text{evaluate pinned positions}
Evaluate the shardsGF(5) shard rows recomputed from pinned polynomial and kept shards.Evaluate the 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 first two shards

At x equals 0, the value is 2. At x equals 1, the value is 0.

f(0)=2,f(1)=0f(0)=2,\quad f(1)=0
Evaluate the shardsGF(5) shard rows recomputed from pinned polynomial and kept shards.Evaluate the 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 next two shards

At x equals 2, the value is 3. At x equals 3, the value is 1.

f(2)=3,f(3)=1f(2)=3,\quad f(3)=1
Evaluate the shardsGF(5) shard rows recomputed from pinned polynomial and kept shards.Evaluate the 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

The shard values are exact field evaluations: 2, 0, 3, 1.

shards are exact evaluations\text{shards are exact evaluations}
Evaluate the shardsGF(5) shard rows recomputed from pinned polynomial and kept shards.Evaluate the 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)