Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Circuit monad] Proper soundness using env function #31

Merged
merged 14 commits into from
Dec 17, 2024
Merged

[Circuit monad] Proper soundness using env function #31

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
5349975
change soundness definition and get stuck again
mitschabaude Dec 16, 2024
a78f878
this is the magic spell!!
mitschabaude Dec 16, 2024
24b4698
add8 soundness works
mitschabaude Dec 16, 2024
0314735
wrapped soundness
mitschabaude Dec 16, 2024
c8d629e
get rid of witness inputs
mitschabaude Dec 16, 2024
a126bbe
remove dead code
mitschabaude Dec 16, 2024
8498323
make different prop inputs appear in consistent order
mitschabaude Dec 17, 2024
6c547ab
remove obsolete code
mitschabaude Dec 17, 2024
01efae6
fix and greatly simplify subcircuit
mitschabaude Dec 17, 2024
ec7fe5b
remove hack
mitschabaude Dec 17, 2024
94050eb
remove unnecessary generic type arguments
mitschabaude Dec 17, 2024
344f7e2
remove more dead code
mitschabaude Dec 17, 2024
ad4a50c
minor
mitschabaude Dec 17, 2024
450861c
turns out to be easier than I thought
mitschabaude Dec 17, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading