github/Picus
1
1
Fork 0
mirror of https://github.com/Veridise/Picus.git synced 2026-01-12 23:18:08 -05:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • ea0cb6a4e4 fix: compute unknown set correctly (#20) sorawee 2023-08-30 09:16:01 -07:00
  • 7c53b26685 ci: fix mistakes from wrong compilation flag + add even more tests (#19) sorawee 2023-08-30 09:15:39 -07:00
  • d570e92a60 chore: rename xlist to varlist, general cleanup Sorawee Porncharoenwase 2023-08-29 12:28:27 -07:00
  • dac94283f7 fix: make known set computation more efficient (#15) sorawee 2023-08-29 10:30:13 -07:00
  • 718cb17847 ci: add even more tests (#16) sorawee 2023-08-29 10:28:58 -07:00
  • ff64bd9220 feat: support --verbose and --cex-verbose (#14) sorawee 2023-08-28 19:27:28 -07:00
  • 98e7c737e9 fix: make constraint generation more efficient (#13) sorawee 2023-08-28 16:39:35 -07:00
  • cefcb428db fix: make parser significantly more efficient Sorawee Porncharoenwase 2023-08-28 10:37:41 -07:00
  • 16bec3fbcb chore: rename picus-dpvl-uniqueness.rkt to picus.rkt Sorawee Porncharoenwase 2023-08-23 23:05:25 -07:00
  • f3a87e1523 fix: read prime from circuit (#10) sorawee 2023-08-25 15:22:01 -07:00
  • 9b3a867ff5 solvers: close ports properly (#9) sorawee 2023-08-25 15:20:52 -07:00
  • 5d70478aef ci: run ci on pull_request and add basic tests (#8) sorawee 2023-08-23 11:23:29 -07:00
  • f4f6e17df2 cvc5: minor improvement (#7) sorawee 2023-08-22 13:10:19 -07:00
  • 5d902c6f47 Restructure counterexample output format for readability (#5) sorawee 2023-08-22 13:08:36 -07:00
  • 5934bf3b2f Merge pull request #6 from sorawee/ff-literal shankarapailoor 2023-08-22 12:21:52 -05:00
  • 266227e2b7 cvc5: support finite field literal Sorawee Porncharoenwase 2023-08-21 21:42:32 -07:00
  • aa569bc26e readme: fix math mode not rendered correctly Sorawee Porncharoenwase 2023-08-21 10:38:52 -07:00
  • 65f0ebe2dc Merge pull request #3 from sorawee/change-output-format-default shankarapailoor 2023-08-21 13:18:20 -05:00
  • 0e03815084 Default the output format to circom variables Sorawee Porncharoenwase 2023-08-21 11:08:58 -07:00
  • cea6fb9a98 Merge pull request #6 from Veridise/basis2-fix Yanju Chen 2023-08-18 09:41:53 -07:00
  • c120fd0437 Merge pull request #7 from obatirou/update-documentation Yanju Chen 2023-08-18 09:41:04 -07:00
  • 3b750eeea1 doc: results interpretation oba 2023-08-18 09:33:36 +02:00
  • 1fca1b5e98 BUG FIX: basis2 lemma only valid for bit sizes < 254. basis2-fix Shankara Pailoor 2023-08-18 10:21:52 -05:00
  • 2f46e3e174 Update docker-image.yml Yanju Chen 2023-08-16 17:36:02 -07:00
  • 367cdc8a89 Update docker-image.yml Yanju Chen 2023-08-16 17:30:05 -07:00
  • 5d96a64d4a Create r1cs-z3-ab0-optimizer.rkt Yanju Chen 2023-08-16 17:21:24 -07:00
  • a08dceb4cb Delete r1cs-z3-AB0-optimizer.rkt Yanju Chen 2023-08-16 17:21:13 -07:00
  • 44ea29ab89 update test workflow Yanju Chen 2023-08-16 17:05:51 -07:00
  • 088e4b8aa0 sync with latest research artifact Yanju Chen 2023-08-16 16:56:02 -07:00
  • 871c3694a9 added circomlibex benchmarks chyanju 2022-10-13 22:05:39 -07:00
  • 60848c9720 separate unknown/unsafe results chyanju 2022-10-10 17:29:29 -07:00
  • 2bd5538885 update benchmarks and entrypoint chyanju 2022-10-09 18:34:30 -07:00
  • ff6d1535a6 update entrypoint and cexp support chyanju 2022-10-09 17:36:24 -07:00
  • 3bd71a585f finalize github actions chyanju 2022-10-09 14:19:52 -07:00
  • c382bfe4d8 added more github actions and small fix chyanju 2022-10-08 13:21:29 -07:00
  • cad8747ab6 init github actions chyanju 2022-10-08 13:12:50 -07:00
  • 6c94666d9b clean up chyanju 2022-09-11 10:18:20 -07:00
  • a17d21a5fc major refactoring chyanju 2022-09-09 18:58:20 -07:00
  • 19650d7459 Merge pull request #5 from Veridise/main Yanju Chen 2022-09-08 17:29:34 -07:00
  • be7e84d933 Merge pull request #1 from Veridise/bryan/dockerize Yanju Chen 2022-09-08 17:27:07 -07:00
  • 32de137676 Add docker_entrypoint.sh variables to make running easier Bryan Tan 2022-09-06 15:40:36 -07:00
  • 7125f427c9 Simplify docker image build and add entrypoint script Bryan Tan 2022-09-03 13:42:25 -07:00
  • bd348e6414 Update README.md chyanju 2022-09-03 08:25:33 -07:00
  • ecba0920a1 added docker support and other small fixes chyanju 2022-09-03 08:23:22 -07:00
  • b7d6d0c462 update batch run scripts chyanju 2022-09-02 13:46:25 -07:00
  • 23d72af570 benchmark nits chyanju 2022-09-02 11:47:47 -07:00
  • 08646adbcd Update prepare-circomlib.sh chyanju 2022-09-01 10:37:48 -07:00
  • 57b72d29d1 Update prepare-circomlib.sh chyanju 2022-09-01 10:37:14 -07:00
  • 9962992f90 fix for cloud run chyanju 2022-09-01 10:35:43 -07:00
  • 5a49d0fdb0 added batch run (testing) chyanju 2022-09-01 10:26:25 -07:00
  • b88dc3e009 adding basis lemma clararod9 2022-08-31 23:20:23 -07:00
  • b34a1a696e Merge branch 'main' of https://github.com/chyanju/Picus into main clararod9 2022-08-31 15:46:55 -07:00
  • 65eb5f0867 fixed gitignore chyanju 2022-08-31 15:46:33 -07:00
  • 1f47dc16f9 Merge branch 'main' of https://github.com/chyanju/Picus into main clararod9 2022-08-31 15:19:39 -07:00
  • 0be361708c adding lema basis clararod9 2022-08-31 15:19:37 -07:00
  • 710f385082 added fallback option to disable neighboring method chyanju 2022-08-31 09:17:17 -07:00
  • b592ed70a6 added flag --weak: if activated only check weak safety (default false) clararod9 2022-08-30 17:07:40 -07:00
  • f3ae1203df adding neighbors -> scales to big circuits in case they do not contain num2bits clararod9 2022-08-30 16:03:09 -07:00
  • 225aff6950 Merge branch 'main' of https://github.com/chyanju/Picus into main clararod9 2022-08-29 09:48:24 -07:00
  • 87ef48b266 new heuristics clararod9 2022-08-29 09:48:03 -07:00
  • fe2282303a added buggy iden3-core-3a3a300 chyanju 2022-08-29 09:46:36 -07:00
  • 4d126191ca sort out buggy-mix; added hermez-network-971c89f chyanju 2022-08-26 16:19:31 -07:00
  • 1c4e2c5d90 added ase-circom benchmarks chyanju 2022-08-25 20:05:34 -07:00
  • aaa980132b added keccak256-circom benchmarks chyanju 2022-08-25 19:35:01 -07:00
  • 3776583a91 added circomlib-ml benchmarks chyanju 2022-08-25 18:11:19 -07:00
  • 9660178046 added zk-SQL benchmarks chyanju 2022-08-25 17:57:24 -07:00
  • 13572e842c added ed25519 benchmarks chyanju 2022-08-25 17:42:39 -07:00
  • a1aadf1307 added circomlib-matrix benchmarks chyanju 2022-08-25 16:32:46 -07:00
  • 5735aae8bd fixed maci; added semaphore and zk-group-sigs benchmarks chyanju 2022-08-25 14:20:00 -07:00
  • 55be89ebea sort out project layout; added & adapted maci benchmarks chyanju 2022-08-25 12:09:06 -07:00
  • 21add8b743 sort out benchmarks; added iden3-core benchmarks chyanju 2022-08-25 10:44:38 -07:00
  • f897dff5ef sort out nits; add 1 benchmark in buggy-mix chyanju 2022-08-25 09:05:02 -07:00
  • 20ca85e398 included algorithm propagation + smt-solvers clararod9 2022-08-25 07:33:58 -07:00
  • 392bb03d94 sort out hermez; added darkforest benchmarks chyanju 2022-08-24 11:31:54 -07:00
  • e0ebdfbc13 adapted and added hermez-network benchmarks chyanju 2022-08-23 23:01:26 -07:00
  • 1357a5fc61 sort out existing benchmarks chyanju 2022-08-23 21:31:12 -07:00
  • 8d48738ca5 sort out and add circom-bigint benchmarks chyanju 2022-08-23 18:27:12 -07:00
  • f2c232fb98 Update README.md chyanju 2022-08-22 18:45:02 -07:00
  • 4f85d9bd87 support cvc5-ff for normal and inc version chyanju 2022-08-22 18:43:34 -07:00
  • 57eb0195ef fixed query command in z3; support cvc5-ff chyanju 2022-08-21 18:01:41 -07:00
  • 4e0ad270e1 Merge pull request #3 from chyanju/yanju/grammar Yanju Chen 2022-08-21 12:33:59 -07:00
  • cdd04743de Update z3-utils.rkt chyanju 2022-08-21 12:32:23 -07:00
  • b6f2a6cfb9 WIP: new grammar chyanju 2022-08-20 12:55:17 -07:00
  • 6a3bd29af8 update nwires with new circom version chyanju 2022-08-12 12:02:52 -04:00
  • 04072e54bb Merge pull request #1 from chyanju/adding_lemma_AB_0 Yanju Chen 2022-08-12 11:56:12 -04:00
  • 542526cddf minor: one extra wire? clararod9 2022-08-10 22:28:10 -07:00
  • 17e1c849b0 solving typo clararod9 2022-08-10 22:17:07 -07:00
  • 6e24b69fcc adding lemma AB = 0 and weak safety verification clararod9 2022-08-10 18:59:54 -07:00
  • 89d898ebc6 Update test-z3-inc-uniqueness.rkt chyanju 2022-08-09 16:51:13 -04:00
  • 56efe5cd20 update cli chyanju 2022-08-09 16:44:09 -04:00
  • 9768423478 naive slicing chyanju 2022-08-09 15:00:09 -04:00
  • 4f1b5faf0b added circompairing benchmarks chyanju 2022-07-26 14:18:36 -04:00
  • 0f4366d431 WIP: sort and add ecdsa benchmarks chyanju 2022-07-25 11:43:21 -04:00
  • 9148b29bcb WIP: refactored chyanju 2022-07-22 12:31:31 -04:00
  • d3e6ebbe64 WIP: new range interface chyanju 2022-07-22 11:20:29 -04:00
  • 8a0cb64e6a WIP: nits chyanju 2022-07-18 12:24:12 -04:00
  • 5acfb75c34 WIP: update chyanju 2022-07-18 12:11:59 -04:00
  • 881b73ea3a WIP: clara's fix to uniqueness test chyanju 2022-07-18 11:26:26 -04:00
  • c3396396bb WIP: refactored chyanju 2022-07-14 11:15:27 -04:00
  • 2f9b5e6290 update readmes chyanju 2022-04-23 22:34:51 -07:00