Table 1.

Algorithms for stream operations: procedures to assemble the annihilation circuit in figure 2d, which carries out data smashing. Symbolic derivatives underlie the proofs outlined in the electronic supplementary material. However, for the actual implementation, they are only needed in the final step to compute deviation from FWN.

^aSee the electronic supplementary material, Section S-F, for proof of correctness.

^bSee the electronic supplementary material, Definition S-22, Propositions S-14 and S-15 and Section S-F.