sorawee ea0cb6a4e4 fix: compute unknown set correctly (#20) ...

In basis2 lemma, set-remove (which removes a single element) is used
instead of set-subtract (which removes a set of elements).
Previously, Picus gets away with this incorrect result because linear
lemma will "clean up" afterward by syncing known set and unknown set.
However, in the PR #18, we no longer do this syncing,
thus uncovering this issue. This commit fixes the problem.

2023-08-30 11:16:01 -05:00

..

algorithms

fix: compute unknown set correctly (#20)

2023-08-30 11:16:01 -05:00

circom

sync with latest research artifact

2023-08-16 16:56:02 -07:00

optimizers

Create r1cs-z3-ab0-optimizer.rkt

2023-08-16 17:21:24 -07:00

r1cs

chore: rename xlist to varlist, general cleanup

2023-08-29 13:01:37 -07:00

solvers

solvers: close ports properly (#9)

2023-08-25 17:20:52 -05:00

config.rkt

fix: read prime from circuit (#10)

2023-08-25 17:22:01 -05:00

extensions.rkt

WIP: refactored

2022-07-22 12:31:31 -04:00

precondition.rkt

sync with latest research artifact

2023-08-16 16:56:02 -07:00

solver.rkt

sync with latest research artifact

2023-08-16 16:56:02 -07:00

tokamak.rkt

WIP: sort and add ecdsa benchmarks

2022-07-25 11:43:21 -04:00

utils.rkt

sync with latest research artifact

2023-08-16 16:56:02 -07:00