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