pub fn dual_basis(u: usize) -> Block128
Trace-dual of the tower basis: Tr(dual_basis(u) · 2^w) = [u == w].
Tr(dual_basis(u) · 2^w) = [u == w]