Dataflow Sanitizer mechanism for checking transcript security
Opened this issue · 1 comments
Rumata888 commented
We need to ensure no parts of the protocol use transcript in an unexpected way. We can do tracking of usage of particular values with DFSan
Rumata888 commented
Had to switch to manual tracking in recursive verifiers because DFSan randomly applies or loses tags (probably has to do with C++ and all the templating/complex objects we use)