Ask dap/vdaf people about writing our draft

 - Is it customary that a paper accompanies our draft to explain the security considerations?
 - Do we need to implement our type in sagemath as well?
 - How could testing for the DP-noising part of our type look like?
 - How do we handle the changes we made to VDAF?