Commit Graph

  • 9927c82492 Address feedback from @CPerezz, part 3 Eduard S 2024-02-02 15:32:48 +0000
  • bbf034a1f1 Address feedback from @CPerezz, part 2 Eduard S 2024-02-02 13:06:14 +0000
  • acb13f81ff Address feedback from @CPerezz, part 1 Eduard S 2024-02-02 12:59:17 +0000
  • 7eda496db8 Address feedback from @adria0 Eduard S 2024-02-02 10:53:16 +0000
  • 134143c618 Resolve feedback from @han0110 Eduard S 2024-02-02 09:46:05 +0000
  • daece88dc3
    Merge branch 'zcash:main' into main Sascha Ronnie Daoudia 2024-01-30 10:33:08 +0100
  • 8cd0aa074b
    Merge branch 'main' into ZKR-2984-Modifications-to-halo2-for-analyzer Fatemeh 2024-01-29 23:00:52 -0800
  • 879119e403
    num_advice_columns changed to public Fatemeh 2024-01-29 22:39:53 -0800
  • fe2e28ea35 Fix doc tests imports Eduard S 2024-01-29 18:22:16 +0000
  • 4c155be610 Temporarily disable thread-safe-region fetature, fix clippy warnings Eduard S 2024-01-29 16:24:43 +0000
  • 84c0669666
    Merge c40bedfd60 into ae52332c77 DrPeterVanNostrand 2024-01-29 11:20:13 -0500
  • da9d34e78b Clean up and config lints for halo2_proofs Eduard S 2024-01-29 14:20:21 +0000
  • 1fce6f327b Clean up middleware deps Eduard S 2024-01-29 13:36:46 +0000
  • 0fb30077b4 Remove halo2_proofs_rm; compile all tests Eduard S 2024-01-29 13:03:25 +0000
  • 34d35a84f9 Add ChallengeMid in middleware Eduard S 2024-01-29 13:00:11 +0000
  • 3291b3c429 Checkpoint Eduard S 2024-01-29 11:27:25 +0000
  • 28722f3cbe WIP (Broken): ColumnMid implementation Eduard S 2024-01-26 16:37:48 +0000
  • ea8cd59268 Move examples to halo2_proofs. Breaks Eduard S 2024-01-26 13:59:01 +0000
  • 36e82a19d1 Add reexports in halo2_proofs for plonk_api.rs Eduard S 2024-01-26 13:28:06 +0000
  • 130e8e1742 Move individual tests to halo2_proofs Eduard S 2024-01-26 13:13:36 +0000
  • 79d6e110a5 Pass tests in halo2_proofs Eduard S 2024-01-26 11:44:43 +0000
  • cd6972a473 Pass frontend tests Eduard S 2024-01-26 11:42:36 +0000
  • 2293d619c0 Clean unused imports Eduard S 2024-01-25 16:56:32 +0000
  • f2c9074bdb Cleanup unused dependencies in common, backend Eduard S 2024-01-25 15:03:06 +0000
  • 9b19dd9b18 Remove old halo2_proofs src Eduard S 2024-01-25 09:57:50 +0000
  • 933c399265 Move dev to frontend Eduard S 2024-01-24 16:39:55 +0000
  • 41f20034fe Enable dev Eduard S 2024-01-24 16:31:47 +0000
  • 9b73ca4f0e Fix test imports Eduard S 2024-01-24 16:07:33 +0000
  • 552c567f54 Checkpoint, halo2_proofs legacy Eduard S 2024-01-24 10:27:09 +0000
  • 29b6c7527e Checkpoint. WitnessCalculator in backend Eduard S 2024-01-23 16:35:29 +0000
  • f9703ecd96 Checkpoint. compile_circuit in frontend Eduard S 2024-01-23 16:31:55 +0000
  • 5d9c09da07 Add TODOs Eduard S 2024-01-23 16:24:34 +0000
  • b0a17cd7ba Add TODOs Eduard S 2024-01-23 15:50:03 +0000
  • 0dcdf7d05b Checkpoint, backend compiles Eduard S 2024-01-23 15:25:57 +0000
  • 15027e6232 Checkpoint Eduard S 2024-01-22 17:06:26 +0000
  • 5c7d2ad568 Checkpoint Eduard S 2024-01-22 16:55:05 +0000
  • 43fdbb3eee Checkpoint Eduard S 2024-01-22 16:28:43 +0000
  • fd80a62776 Checkpoint Eduard S 2024-01-22 16:03:06 +0000
  • e004913a52 Checkpoint Eduard S 2024-01-22 15:47:44 +0000
  • e54c39cae2 Checkpoint Eduard S 2024-01-22 15:37:04 +0000
  • adcbe4b4a4 Checkpoint Eduard S 2024-01-22 13:54:00 +0000
  • de024999a5 Checkpoint Eduard S 2024-01-22 13:26:58 +0000
  • f99144a25c Checkpoint. Move everything to common Eduard S 2024-01-22 13:24:03 +0000
  • cd7cf537e2 Checkpoint Eduard S 2024-01-22 11:33:35 +0000
  • fad6b04be0 Checkpoint Eduard S 2024-01-19 10:14:24 +0000
  • 4f47ae6934 Checkpoint Eduard S 2024-01-18 17:10:31 +0000
  • cefa3ae20a
    modifications for analyzer-2 (#1) Fatemeh Heidari 2024-01-17 17:41:50 -0800
  • df0c61e591
    modifications for analyzer-2 Fatemeh 2024-01-17 17:15:55 -0800
  • 22ca8536b3
    Merge 6735cd8601 into ae52332c77 zhiqiangxu 2024-01-17 10:28:27 -0800
  • 1fc555b950 Checkpoint Eduard S 2024-01-16 17:13:40 +0000
  • 371e69e674 Checkpoint Eduard S 2024-01-16 15:42:31 +0000
  • 20c16ddf42 Split collect_queries function Eduard S 2024-01-16 14:20:40 +0000
  • c71fbfad94 Document some types Eduard S 2024-01-16 14:03:24 +0000
  • 2c50b39812 Simplify Backend gate type Eduard S 2024-01-16 13:51:24 +0000
  • d350e727f1 Address some of the review comments from @CPerezz Eduard S 2024-01-15 13:14:22 +0000
  • d3e2543a41 Merge branch 'main' into feature/frontend-backend Eduard S 2024-01-11 10:48:18 +0000
  • 73408a1407
    Merge pull request #242 from kilic/curves5 kilic 2024-01-10 23:14:20 +0300
  • 47e71c8284 remove serial `dev::assert_satisfied` kilic 2024-01-10 17:23:55 +0300
  • 371700133d bring back bits as feature kilic 2024-01-10 17:17:47 +0300
  • 6b9245f572 fix: specific halo2curves version kilic 2024-01-10 14:47:48 +0300
  • b441884eea remove compilation check for `atomic` kilic 2024-01-10 14:04:42 +0300
  • 0e71b9183a update `halo2curves` to v0.6.0 kilic 2024-01-10 12:46:59 +0300
  • 757613ab27 bump version to 0.3.0 kilic 2024-01-08 19:41:53 +0300
  • 8e9e06998b fix clippy kilic 2024-01-07 23:18:23 +0300
  • fbbc3a72a2 fix multicore compiling issue kilic 2024-01-07 19:51:14 +0300
  • 36492ddc17 update `halo2curves` to 0.5.0 kilic 2023-12-29 01:42:33 +0300
  • 687590ad79
    Merge pull request #244 from davidnevadoc/nev@fix/vk-deser-check David Nevado 2024-01-10 14:20:47 +0100
  • a3ecfbaba3 Clean up Eduard S. 2024-01-10 12:57:00 +0100
  • 5b2f5f67d8
    Expose mockprover data (#245) soham 2024-01-09 16:50:16 +0530
  • 582d6d5dee Remove Polynomial from backend interface Eduard S. 2024-01-09 11:58:51 +0100
  • 3c02d03d76
    Add derive_serde feature (#246) soham 2024-01-09 14:46:22 +0530
  • 76a86f0295
    Fix clippy David Nevado 2024-01-08 10:24:39 +0100
  • 630e5a694c
    Update halo2_proofs/src/plonk.rs David Nevado 2024-01-08 10:18:24 +0100
  • 2fadf61275
    Use Field::S for max circuit size David Nevado 2024-01-08 10:17:57 +0100
  • 1bc84caf30 Fix pinned vk test Eduard S. 2024-01-05 17:03:13 +0100
  • 58c95675cc Address some clippy warnings Eduard S. 2024-01-05 15:13:40 +0100
  • 86ef75fb49 Fix test Eduard S. 2024-01-05 15:07:19 +0100
  • 8813ef710e Remove old API in favour of legacy wrappers Eduard S. 2024-01-05 11:17:59 +0100
  • ca9d0526e6 Make legacy wrappers over v2 Eduard S. 2024-01-05 00:01:14 +0100
  • 568b0e5570 WIP Eduard S. 2024-01-04 19:52:05 +0100
  • c412223413 Merge branch 'main' into feature/frontend-backend Eduard S. 2024-01-04 10:59:48 +0100
  • 6c2c57a51b
    Change k from u32 to u8 David Nevado 2024-01-03 18:22:47 +0100
  • 51cb164bf2
    Add check for `k` in vk deserialization David Nevado 2024-01-03 17:55:51 +0100
  • 84954577c9 Benchmark Eduard S. 2024-01-03 15:29:51 +0100
  • bfc5d86b0d Clean up Eduard S. 2024-01-03 12:20:34 +0100
  • 96ea9442be Clean up Eduard S. 2024-01-03 12:18:01 +0100
  • 0ebdc59b62 Clean up Eduard S. 2024-01-03 12:04:40 +0100
  • 19298c2ffb Get it working Eduard S. 2024-01-03 11:55:42 +0100
  • 60379102ea WIP Eduard S. 2024-01-02 20:05:42 +0100
  • 9fd1a3991e
    Merge 386abc5097 into ae52332c77 ying tong 2024-01-02 22:21:54 +0800
  • 3550ab07b1
    Benchmarking tool using cost estimator (#235) Iñigo Querejeta Azurmendi 2023-12-30 07:49:24 +0100
  • c27237851f Full flow, but verification fails Eduard S. 2023-12-29 13:55:30 +0100
  • a8a200911b Add witness calculator Eduard S. 2023-12-29 12:19:49 +0100
  • 50fb46ab14 Make progress on testing fe-be split Eduard S. 2023-12-28 18:18:47 +0100
  • 013e6d4998 Add sample circuit for testing Eduard S. 2023-12-27 18:01:52 +0100
  • 20c12903d2
    chore: correcting few mistakes in documentation (#240) Huulu 2023-12-20 10:01:39 +0100
  • c4dfff7080
    remove: Delete the `gadgets` folder and stop support (#241) Carlos Pérez 2023-12-20 09:53:33 +0100
  • b4266c5dc0 add halo2 Benchmark (cargo) benchmark result for ae52332c77 github-action-benchmark 2023-12-19 23:32:35 +0000
  • ae52332c77
    Merge pull request #802 from daira/book-remove-makefile Daira Emma Hopwood 2023-12-19 22:46:19 +0000
  • 5f436dc338 Move mux functionality into CondSwap chip Constance 2023-11-30 16:14:15 +0100