argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel
MIT License
121 stars 9 forks source link

Anonymize converter #222

Closed arthurpaulino closed 1 year ago

arthurpaulino commented 1 year ago

The current process of extracting a TC.Store from a IR.Store relies on names. We need to refactor it so it becomes a name-irrelevant process