implementation (and tests) of bucket-brigade bit query with heavy T gate parallelization using CCZs, according to the work of Alexandru et al.; covers both single- and multi-output bit cases
updates to the primer with description and circuit diagrams for the above
updates to the primer detailing how to implement the next step (a phase query)
(Note: this includes all the content of glassnotes/ccz-bucket-brigade, I merged it in here before updating the primer)
This PR contains:
(Note: this includes all the content of glassnotes/ccz-bucket-brigade, I merged it in here before updating the primer)