6 Commits

Author SHA1 Message Date
Sam Tay
d2dfd45347 Misc updates from linked-docs (#364) 2024-03-01 01:47:49 +00:00
Sam Tay
20c3b1a09a Add fresh encoding constraints (#356)
Co-authored-by: Ryan Orendorff <12442942+ryanorendorff@users.noreply.github.com>
2024-02-22 21:36:15 -05:00
Sam Tay
cb20e8d030 Decrypt statements (#348) 2024-02-20 22:55:49 +00:00
Sam Tay
14ce61f5bf Diverge link methods (#346) 2024-02-13 16:24:01 +00:00
Sam Tay
ae42ab7199 Disallow repeating linked inputs (#345) 2024-02-11 16:01:58 -05:00
Sam Tay
18ea59b542 Proof linking (#339) 2024-02-03 20:01:24 +00:00