barretenberg
barretenberg copied to clipboard
Dataflow Sanitizer mechanism for checking transcript security
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