barretenberg icon indicating copy to clipboard operation
barretenberg copied to clipboard

Dataflow Sanitizer mechanism for checking transcript security

Open Rumata888 opened this issue 6 months ago • 1 comments

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 avatar Aug 21 '24 16:08 Rumata888