83 Commits

Author SHA1 Message Date
Steve Wang
6e7a9b681f Update README.md 2023-09-19 13:21:19 -04:00
Steve Wang
1369d138c8 Update README.md 2023-09-19 13:20:37 -04:00
Steve Wang
09ef47ad6a Steve/jupyter notebook tutorial part 4 (#15)
* updated tutorial

* update tutorial

* new error emerge after updating submodule, was fully debugged previously

* updated rust bindings and formatted python files

* minor

* updated submodule

* cargo fmt

* cleaned latest merge main; debugged and updated all tutorial files

* addressed leo's comments'

* removed num_step_instances

* updated dependencies and deleted unwanted functions
2023-08-17 17:16:07 +08:00
Leo Lara
a61b2a8927 Merge pull request #14 from trangnv/trang/repo-reorg-fix-maturin-develop
Repo reorg fix maturin develop
2023-08-15 10:24:27 +07:00
trangnv
65bb32dd65 maturin develop works, move all example to examples dir 2023-08-14 15:33:51 +07:00
trangnv
f6672821ac delete if: "startsWith(github.ref, refs/tags/)" on CI 2023-08-11 17:36:31 +07:00
trangnv
2d7d49a7d2 delete if: "startsWith(github.ref, refs/tags/)" on CI 2023-08-11 17:36:08 +07:00
trangnv
a5553353b8 add submodules checkout for OS 2023-08-11 17:26:51 +07:00
trangnv
3cd243f0ba .github 2023-08-11 17:18:34 +07:00
trangnv
0e725f408e .github 2023-08-11 17:07:54 +07:00
trangnv
7799af3823 should work now 2023-08-11 16:31:08 +07:00
trangnv
90bb1ad5be update pyproject.toml 2023-08-11 16:08:54 +07:00
trangnv
5693ada9d8 first tests did not pass without python dir, adding it 2023-08-11 10:45:25 +07:00
trangnv
cfda2ce461 first tests passed 2023-08-11 10:39:44 +07:00
trangnv
548d6de123 pyproject.toml 2023-08-11 10:22:10 +07:00
trangnv
f15e50f283 first commit with python/chiquito layout 2023-08-11 10:13:54 +07:00
Leo Lara
0008f008c1 Merge pull request #12 from qwang98/steve/jupyter-notebook-tutorial-part-3
Steve/jupyter notebook tutorial part 3
2023-08-08 09:29:55 +07:00
Steve Wang
d27ed9f61a updated submodule 2023-08-05 19:55:21 +08:00
Steve Wang
bca999690c finished tutorial up till part 3 chapter 3 2023-08-05 19:52:10 +08:00
Steve Wang
3fab1d8a7e updated tutorials 2023-08-05 19:47:22 +08:00
Steve Wang
d0a9fe392f updated verify proof function 2023-08-05 14:49:18 +08:00
Steve Wang
ef65d250bb updated tracewitness 2023-08-05 14:44:46 +08:00
Steve Wang
1e2081798c updated submodule 2023-08-05 14:43:25 +08:00
Steve Wang
67016b7b9b Steve/jupyter notebook tutorial part 2 (#11)
* refactored everything

* refactored everything and example

* removed unused imports

* renamed step_type_context vairables

* fixed type and field namings

* updated generate_witness method

* addressed leo comments and modified wg function

* updated tracecontext and cleaned up debug methods

* cleaned up other files

* removed tests

* jupyter notebook tutorial

* cleared cell outputs

* chapter 1, 2, 3p1

* ch3_pt2
2023-08-05 14:11:03 +08:00
Steve Wang
8ed6dfb314 Steve/jupyter notebook tutorial (#10)
* refactored everything

* refactored everything and example

* removed unused imports

* renamed step_type_context vairables

* fixed type and field namings

* updated generate_witness method

* addressed leo comments and modified wg function

* updated tracecontext and cleaned up debug methods

* cleaned up other files

* removed tests

* jupyter notebook tutorial

* cleared cell outputs
2023-08-02 19:12:37 +08:00
Steve Wang
905adc4595 Steve/refactor circuit (#8)
* refactored everything

* refactored everything and example

* removed unused imports

* renamed step_type_context vairables

* fixed type and field namings

* updated generate_witness method

* addressed leo comments and modified wg function

* updated tracecontext and cleaned up debug methods

* cleaned up other files

* removed tests
2023-08-01 08:21:49 +08:00
Leo Lara
8ee46cde08 Merge pull request #7 from qwang98/leo/refactor-step-type-setup 2023-07-26 09:57:19 +07:00
Leo Lara
2409f1688e Refactor step type setup 2023-07-25 10:21:18 +00:00
Steve Wang
f78bd7dcc0 Update README.md 2023-07-25 14:16:42 +08:00
Steve Wang
7947ca711c remove files that are now in gitignore 2023-07-25 14:07:58 +08:00
Steve Wang
b452b8c564 added .env folder structure; updated submodule to use current chiquito main 2023-07-25 12:41:36 +08:00
Steve Wang
940778249b Update README.md 2023-07-25 12:35:43 +08:00
Steve Wang
0c191b1bcf Generate and Verify Proof (#5)
* deleted rust code but before adding submodule

* added submodule for steve/frontend branch; updated lib.rs bindings

* formatted documents

* updated submodule and tests

* changes before splitting to multiple files

* resolved circular reference and formatted files

* fixed uuid and untied constraint builder functions from Constraint type

* minor

* fmt

* initial commit'

* added disable_q_enable, updated expose, and created new json standards

* minor

* minor typo

* generate proof from halo2 using python; pragma first and last step are bugging out in fibo

* formatting things

* updated submodule
2023-07-25 10:59:40 +08:00
Steve Wang
236304a118 Witness generation (#4)
* deleted rust code but before adding submodule

* added submodule for steve/frontend branch; updated lib.rs bindings

* formatted documents

* updated submodule and tests

* changes before splitting to multiple files

* resolved circular reference and formatted files

* fixed uuid and untied constraint builder functions from Constraint type

* minor

* fmt

* initial commit'

* added disable_q_enable, updated expose, and created new json standards

* minor

* minor typo
2023-07-24 11:01:40 +08:00
Steve Wang
034c3ef170 Steve/remove rust add submodule (#3)
* deleted rust code but before adding submodule

* added submodule for steve/frontend branch; updated lib.rs bindings

* formatted documents

* updated submodule and tests

* changes before splitting to multiple files

* resolved circular reference and formatted files

* fixed uuid and untied constraint builder functions from Constraint type

* minor

* fmt

* removed virtual environment folder structure, though we are still using virtual environment by calling source bin/activate before we can use maturin

* minor
2023-07-20 14:19:06 +08:00
Steve Wang
c7359e056c Update README.md 2023-07-19 12:33:36 +08:00
Steve Wang
358e034fb0 Update README.md 2023-07-17 18:09:04 +08:00
Steve Wang
dd7e2322c1 Update README.md 2023-07-17 18:07:33 +08:00
Steve Wang
7e566a7c92 reorganized boilerplate 2023-07-17 17:47:26 +08:00
Steve Wang
05579c99a6 added scripts for .env 2023-07-17 17:18:58 +08:00
Steve Wang
5c811cdb4c Update README.md 2023-07-17 16:18:48 +08:00
Steve Wang
06583a4b2a ast convertion part ready for review 2023-07-17 16:13:01 +08:00
Steve Wang
298883cd85 reorganized tests; retired irrelevant ones 2023-07-17 14:32:42 +08:00
Steve Wang
524571e007 refactored all files; created witness deserializer 2023-07-17 13:48:59 +08:00
Steve Wang
eb074f4711 successfully generated python json, deserailized in rust, and parsed to chiquito ast, using the fibo example 2023-07-16 23:19:01 +08:00
Steve Wang
6a7475adc9 json format for rust 2023-07-16 06:40:58 +08:00
Steve Wang
3937061b00 experimented with different serialization strategies; will implement custom rust serialization using Serde and custom __json__ serialization in Python; serialization will be for AST only 2023-07-14 22:09:44 +08:00
Steve Wang
e5ca528883 notes 2023-07-12 20:28:30 +08:00
Steve Wang
764bdbf2d4 finished debugging pychiquito core using fibo example 2023-07-12 16:49:10 +08:00
Steve Wang
8f03168c24 refactored step type 2023-07-12 13:33:30 +08:00