github/Picus
1
1
Fork 0
mirror of https://github.com/Veridise/Picus.git synced 2026-01-16 08:57:57 -05:00
Code Issues Packages Projects Releases Wiki Activity
245 Commits 2 Branches 0 Tags
main
Commit Graph

20 Commits

Author SHA1 Message Date
sorawee
8432a9bfb6 Make --weak the default (#40) 
We almost always only want the weak safety (checking that output signals
of the main component are deterministic), not strong safety
(checking that all signals are deterministic). However, currently the
strong safety mode is the default. This makes it cumbersome to invoke
Picus, since we need to indicate that we want the weak safety explicitly.

This commit inverts the behavior by removing the flag `--weak` and
adds the flag `--strong` (for strong safety), which is defaulted to false.
 2023-09-27 20:22:33 -05:00
Sorawee Porncharoenwase
16bec3fbcb chore: rename picus-dpvl-uniqueness.rkt to picus.rkt 2023-08-26 09:33:32 -07:00
Yanju Chen
088e4b8aa0 sync with latest research artifact 2023-08-16 16:56:02 -07:00
chyanju
871c3694a9 added circomlibex benchmarks 2022-10-13 22:05:39 -07:00
chyanju
2bd5538885 update benchmarks and entrypoint 2022-10-09 18:34:30 -07:00
chyanju
23d72af570 benchmark nits 2022-09-02 11:47:47 -07:00
chyanju
08646adbcd Update prepare-circomlib.sh 2022-09-01 10:37:48 -07:00
chyanju
57b72d29d1 Update prepare-circomlib.sh 2022-09-01 10:37:14 -07:00
chyanju
9962992f90 fix for cloud run 2022-09-01 10:35:43 -07:00
clararod9
f3ae1203df adding neighbors -> scales to big circuits in case they do not contain num2bits 2022-08-30 16:03:09 -07:00
chyanju
fe2282303a added buggy iden3-core-3a3a300 2022-08-29 09:46:36 -07:00
chyanju
4d126191ca sort out buggy-mix; added hermez-network-971c89f 2022-08-26 16:19:31 -07:00
chyanju
1c4e2c5d90 added ase-circom benchmarks 2022-08-25 20:05:34 -07:00
chyanju
aaa980132b added keccak256-circom benchmarks 2022-08-25 19:35:01 -07:00
chyanju
3776583a91 added circomlib-ml benchmarks 2022-08-25 18:11:19 -07:00
chyanju
9660178046 added zk-SQL benchmarks 2022-08-25 17:57:24 -07:00
chyanju
13572e842c added ed25519 benchmarks 2022-08-25 17:42:39 -07:00
chyanju
a1aadf1307 added circomlib-matrix benchmarks 2022-08-25 16:32:46 -07:00
chyanju
5735aae8bd fixed maci; added semaphore and zk-group-sigs benchmarks 2022-08-25 14:20:00 -07:00
chyanju
55be89ebea sort out project layout; added & adapted maci benchmarks 2022-08-25 12:09:06 -07:00