Commit Graph

Select branches

Hide Pull Requests

leo/refactor-step-type-setup

main

steve/generate-verify-proof

steve/jupyter-notebook-tutorial

steve/jupyter-notebook-tutorial-part-2

steve/jupyter-notebook-tutorial-part-3

steve/jupyter-notebook-tutorial-part-4

steve/refactor-circuit

steve/refactor-circuit-wg

steve/remove-rust-add-submodule

steve/supercircuit-lookup-mimc7

steve/witness

#10

#11

#12

#14

#15

#16

#16

#3

#4

#5

#6

#7

#8

Mono Color

• 6e7a9b681f Update README.md main Steve Wang 2023-09-19 13:21:19 -04:00
• 1369d138c8 Update README.md Steve Wang 2023-09-19 13:20:37 -04:00
• 746e96c1a0 added offsets for fixed gen steve/supercircuit-lookup-mimc7 Steve Wang 2023-08-21 17:19:52 +08:00
• 9b7304fe8a added support for lookup and fixed gen; created mimc7 example Steve Wang 2023-08-21 17:06:28 +08:00
• 09ef47ad6a Steve/jupyter notebook tutorial part 4 (#15) Steve Wang 2023-08-17 17:16:07 +08:00
• 3b1f4f2aa9 updated dependencies and deleted unwanted functions steve/jupyter-notebook-tutorial-part-4 Steve Wang 2023-08-17 17:15:41 +08:00
• 77cf015341 removed num_step_instances Steve Wang 2023-08-17 12:44:45 +08:00
• 1be48e1495 addressed leo's comments' Steve Wang 2023-08-17 10:49:41 +08:00
• 06c898c932 cleaned latest merge main; debugged and updated all tutorial files Steve Wang 2023-08-17 10:40:12 +08:00
• 33fb6b97ba Merge branch 'main' into steve/jupyter-notebook-tutorial-part-4 Steve Wang 2023-08-17 10:22:32 +08:00
• f56ec27240 cargo fmt Steve Wang 2023-08-17 10:02:58 +08:00
• 9f058ea02e updated submodule Steve Wang 2023-08-17 10:01:43 +08:00
• f63f42892a minor Steve Wang 2023-08-17 09:46:10 +08:00
• 3879e24ac9 updated rust bindings and formatted python files Steve Wang 2023-08-17 09:45:48 +08:00
• 4749da9010 new error emerge after updating submodule, was fully debugged previously Steve Wang 2023-08-16 18:17:07 +08:00
• fffcd9b2fd update tutorial Steve Wang 2023-08-15 20:00:14 +08:00
• a61b2a8927 Merge pull request #14 from trangnv/trang/repo-reorg-fix-maturin-develop Leo Lara 2023-08-15 10:24:27 +07:00
• 35726a82cd updated tutorial Steve Wang 2023-08-14 18:57:47 +08:00
• 65bb32dd65 maturin develop works, move all example to examples dir trangnv 2023-08-14 15:33:51 +07:00
• f6672821ac delete if: "startsWith(github.ref, refs/tags/)" on CI trangnv 2023-08-11 17:36:31 +07:00
• 2d7d49a7d2 delete if: "startsWith(github.ref, refs/tags/)" on CI trangnv 2023-08-11 17:36:08 +07:00
• a5553353b8 add submodules checkout for OS trangnv 2023-08-11 17:26:51 +07:00
• 3cd243f0ba .github trangnv 2023-08-11 17:18:34 +07:00
• 0e725f408e .github trangnv 2023-08-11 17:07:54 +07:00
• 7799af3823 should work now trangnv 2023-08-11 16:31:08 +07:00
• 90bb1ad5be update pyproject.toml trangnv 2023-08-11 16:08:54 +07:00
• 5693ada9d8 first tests did not pass without python dir, adding it trangnv 2023-08-11 10:45:25 +07:00
• cfda2ce461 first tests passed trangnv 2023-08-11 10:39:44 +07:00
• 548d6de123 pyproject.toml trangnv 2023-08-11 10:22:10 +07:00
• f15e50f283 first commit with python/chiquito layout trangnv 2023-08-11 10:13:54 +07:00
• 0008f008c1 Merge pull request #12 from qwang98/steve/jupyter-notebook-tutorial-part-3 Leo Lara 2023-08-08 09:29:55 +07:00
• d27ed9f61a updated submodule steve/jupyter-notebook-tutorial-part-3 Steve Wang 2023-08-05 19:55:21 +08:00
• bca999690c finished tutorial up till part 3 chapter 3 Steve Wang 2023-08-05 19:52:10 +08:00
• 3fab1d8a7e updated tutorials Steve Wang 2023-08-05 19:47:22 +08:00
• d0a9fe392f updated verify proof function Steve Wang 2023-08-05 14:49:18 +08:00
• ef65d250bb updated tracewitness Steve Wang 2023-08-05 14:44:46 +08:00
• 1e2081798c updated submodule Steve Wang 2023-08-05 14:43:25 +08:00
• 67016b7b9b Steve/jupyter notebook tutorial part 2 (#11) Steve Wang 2023-08-05 14:11:03 +08:00
• 797490d9fb ch3_pt2 steve/jupyter-notebook-tutorial-part-2 Steve Wang 2023-08-02 20:25:09 +08:00
• d0fc95fd5e Merge branch 'main' into steve/jupyter-notebook-tutorial-part-2 Steve Wang 2023-08-02 19:14:09 +08:00
• 70f9e15782 chapter 1, 2, 3p1 Steve Wang 2023-08-02 19:13:39 +08:00
• 8ed6dfb314 Steve/jupyter notebook tutorial (#10) Steve Wang 2023-08-02 19:12:37 +08:00
• df82a0660b cleared cell outputs steve/jupyter-notebook-tutorial Steve Wang 2023-08-02 12:04:53 +08:00
• 86293c28a9 merge main Steve Wang 2023-08-02 11:59:39 +08:00
• 461d9e0980 jupyter notebook tutorial Steve Wang 2023-08-02 11:57:43 +08:00
• 905adc4595 Steve/refactor circuit (#8) Steve Wang 2023-08-01 08:21:49 +08:00
• 3b894af434 removed tests steve/refactor-circuit Steve Wang 2023-08-01 08:21:09 +08:00
• 382152b1c7 cleaned up other files Steve Wang 2023-07-28 14:35:21 +08:00
• 59ecf65daa updated tracecontext and cleaned up debug methods Steve Wang 2023-07-28 14:25:35 +08:00
• daf1201f2f addressed leo comments and modified wg function Steve Wang 2023-07-28 13:19:29 +08:00
• 0bebfb7d11 updated generate_witness method Steve Wang 2023-07-28 10:24:50 +08:00
• 85afef7ce1 fixed type and field namings Steve Wang 2023-07-28 10:03:16 +08:00
• f84a85a88d renamed step_type_context vairables Steve Wang 2023-07-26 14:46:54 +08:00
• 52c8c410c3 removed unused imports Steve Wang 2023-07-26 14:36:26 +08:00
• 76836fb3f1 refactored everything and example Steve Wang 2023-07-26 14:34:44 +08:00
• 34a2f70bf7 refactored everything Steve Wang 2023-07-26 12:43:39 +08:00
• 8ee46cde08 Merge pull request #7 from qwang98/leo/refactor-step-type-setup Leo Lara 2023-07-26 09:57:19 +07:00
• 699ff12980 merged leo steve/refactor-circuit-wg Steve Wang 2023-07-26 10:55:37 +08:00
• 2d452c6574 save changes Steve Wang 2023-07-26 10:50:19 +08:00
• 2409f1688e Refactor step type setup leo/refactor-step-type-setup Leo Lara 2023-07-25 07:35:47 +00:00
• dca9eebf7b Refactor step type setup Leo Lara 2023-07-25 07:35:47 +00:00
• f78bd7dcc0 Update README.md Steve Wang 2023-07-25 14:16:42 +08:00
• 7947ca711c remove files that are now in gitignore Steve Wang 2023-07-25 14:07:58 +08:00
• b452b8c564 added .env folder structure; updated submodule to use current chiquito main Steve Wang 2023-07-25 12:41:36 +08:00
• 940778249b Update README.md Steve Wang 2023-07-25 12:35:43 +08:00
• 2877966183 changed submodule dependency and added .env folder structure steve/generate-verify-proof Steve Wang 2023-07-25 12:28:57 +08:00
• 0c191b1bcf Generate and Verify Proof (#5) Steve Wang 2023-07-25 10:59:40 +08:00
• 69caf5e02d merge main Steve Wang 2023-07-25 10:58:19 +08:00
• 236304a118 Witness generation (#4) Steve Wang 2023-07-24 11:01:40 +08:00
• b2240f2e27 updated submodule Steve Wang 2023-07-20 19:53:23 +08:00
• 1f858daeef formatting things Steve Wang 2023-07-20 19:51:13 +08:00
• 1653b59c1b generate proof from halo2 using python; pragma first and last step are bugging out in fibo Steve Wang 2023-07-20 19:45:57 +08:00
• 64fb815a4a minor typo steve/witness Steve Wang 2023-07-20 15:57:27 +08:00
• b37897d0f9 minor Steve Wang 2023-07-20 15:54:51 +08:00
• 42812c6af1 merge main Steve Wang 2023-07-20 14:27:36 +08:00
• 43d83f1219 added disable_q_enable, updated expose, and created new json standards Steve Wang 2023-07-20 14:20:53 +08:00
• 034c3ef170 Steve/remove rust add submodule (#3) Steve Wang 2023-07-20 14:19:06 +08:00
• 876f611f82 minor steve/remove-rust-add-submodule Steve Wang 2023-07-20 14:11:27 +08:00
• 45b1e6164b removed virtual environment folder structure, though we are still using virtual environment by calling source bin/activate before we can use maturin Steve Wang 2023-07-20 14:10:15 +08:00
• 36ecd580a8 initial commit' Steve Wang 2023-07-20 09:43:08 +08:00
• fe76fe55a9 fmt Steve Wang 2023-07-19 16:26:20 +08:00
• 512fc8da8d minor Steve Wang 2023-07-19 16:25:43 +08:00
• 05290cccc8 fixed uuid and untied constraint builder functions from Constraint type Steve Wang 2023-07-19 16:24:31 +08:00
• 49e2487774 Merge branch 'main' into steve/remove-rust-add-submodule Steve Wang 2023-07-19 12:40:35 +08:00
• c7359e056c Update README.md Steve Wang 2023-07-19 12:33:36 +08:00
• 9db254acc3 resolved circular reference and formatted files Steve Wang 2023-07-19 12:09:16 +08:00
• b535378ae5 changes before splitting to multiple files Steve Wang 2023-07-19 10:14:19 +08:00
• 14c0fad496 updated submodule and tests Steve Wang 2023-07-19 10:04:19 +08:00
• 1d6fd552b1 formatted documents Steve Wang 2023-07-18 23:36:12 +08:00
• a23bf86b33 added submodule for steve/frontend branch; updated lib.rs bindings Steve Wang 2023-07-18 23:34:34 +08:00
• 8aa41a14fe deleted rust code but before adding submodule Steve Wang 2023-07-18 23:09:25 +08:00
• 358e034fb0 Update README.md Steve Wang 2023-07-17 18:09:04 +08:00
• dd7e2322c1 Update README.md Steve Wang 2023-07-17 18:07:33 +08:00
• 7e566a7c92 reorganized boilerplate Steve Wang 2023-07-17 17:47:26 +08:00
• 05579c99a6 added scripts for .env Steve Wang 2023-07-17 17:17:20 +08:00
• 5c811cdb4c Update README.md Steve Wang 2023-07-17 16:18:48 +08:00
• 06583a4b2a ast convertion part ready for review Steve Wang 2023-07-17 16:13:01 +08:00
• 298883cd85 reorganized tests; retired irrelevant ones Steve Wang 2023-07-17 14:32:42 +08:00
• 524571e007 refactored all files; created witness deserializer Steve Wang 2023-07-17 13:48:59 +08:00
• eb074f4711 successfully generated python json, deserailized in rust, and parsed to chiquito ast, using the fibo example Steve Wang 2023-07-16 23:19:01 +08:00