privacy-scaling-explorations/chiquito issues and pull requests

#100 - Port mimc7 example to python frontend

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment
Labels: good first issue, gfi easy

#100 - Port mimc7 example to python frontend

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment
Labels: good first issue, gfi easy

#99 - Implement super circuit in python front-end

Issue - State: closed - Opened by leolara over 1 year ago
Labels: good first issue, gfi advanced

#99 - Implement super circuit in python front-end

Issue - State: closed - Opened by leolara over 1 year ago
Labels: good first issue, gfi advanced

#98 - Example: Merkle inclusion Proof

Issue - State: closed - Opened by leolara over 1 year ago - 4 comments
Labels: good first issue, gfi intermediate

#98 - Example: Merkle inclusion Proof

Issue - State: closed - Opened by leolara over 1 year ago - 4 comments
Labels: good first issue, gfi intermediate

#97 - Make MaxWidthCellManager work with fixed signals

Issue - State: closed - Opened by leolara over 1 year ago - 6 comments
Labels: good first issue, gfi intermediate

#97 - Make MaxWidthCellManager work with fixed signals

Issue - State: closed - Opened by leolara over 1 year ago - 6 comments
Labels: good first issue, gfi intermediate

#96 - Make MaxWidthCellManager work with shared signals

Issue - State: closed - Opened by leolara over 1 year ago - 4 comments
Labels: good first issue, gfi intermediate

#96 - Make MaxWidthCellManager work with shared signals

Issue - State: closed - Opened by leolara over 1 year ago - 4 comments
Labels: good first issue, gfi intermediate

#95 - SimpleStepSelectorBuilder case when there is only one step

Issue - State: closed - Opened by leolara over 1 year ago - 2 comments
Labels: good first issue, gfi intermediate

#95 - SimpleStepSelectorBuilder case when there is only one step

Issue - State: closed - Opened by leolara over 1 year ago - 2 comments
Labels: good first issue, gfi intermediate

#94 - Add unit tests for Python

Issue - State: closed - Opened by leolara over 1 year ago - 7 comments
Labels: good first issue, gfi intermediate

#94 - Add unit tests for Python

Issue - State: closed - Opened by leolara over 1 year ago - 7 comments
Labels: good first issue, gfi intermediate

#93 - Add unit tests to LookupBuilder

Issue - State: closed - Opened by leolara over 1 year ago - 10 comments
Labels: good first issue, gfi easy

#93 - Add unit tests to LookupBuilder

Issue - State: closed - Opened by leolara over 1 year ago - 10 comments
Labels: good first issue, gfi easy

#92 - Example: Toy zkVM for calculator based on accumulator machine

Issue - State: closed - Opened by leolara over 1 year ago - 3 comments
Labels: good first issue, gfi intermediate

#92 - Example: Toy zkVM for calculator based on accumulator machine

Issue - State: closed - Opened by leolara over 1 year ago - 3 comments
Labels: good first issue, gfi intermediate

#91 - Give instructions or add to CI for updating pip package

Issue - State: closed - Opened by leolara over 1 year ago
Labels: good first issue, gfi easy

#91 - Give instructions or add to CI for updating pip package

Issue - State: closed - Opened by leolara over 1 year ago
Labels: good first issue, gfi easy

#90 - Refactor fixed assignments

Issue - State: closed - Opened by qwang98 over 1 year ago

#90 - Refactor fixed assignments

Issue - State: closed - Opened by qwang98 over 1 year ago

#89 - Develop keccak

Pull Request - State: closed - Opened by 10to4 over 1 year ago - 2 comments

#89 - Develop keccak

Pull Request - State: closed - Opened by 10to4 over 1 year ago - 2 comments

#88 - Add .devcontainer

Pull Request - State: closed - Opened by leolara over 1 year ago

#88 - Add .devcontainer

Pull Request - State: closed - Opened by leolara over 1 year ago

#87 - Update README.md

Issue - State: closed - Opened by qwang98 over 1 year ago - 2 comments

#87 - Update README.md

Issue - State: closed - Opened by qwang98 over 1 year ago - 2 comments

#86 - Bring (py)Chiquito in

Pull Request - State: closed - Opened by gnart33 over 1 year ago - 12 comments

#86 - Bring (py)Chiquito in

Pull Request - State: closed - Opened by gnart33 over 1 year ago - 12 comments

#85 - Debug and/or Display traits for common items such as TraceWitness and Assignment

Issue - State: closed - Opened by qwang98 over 1 year ago - 2 comments
Labels: good first issue, gfi easy

#85 - Debug and/or Display traits for common items such as TraceWitness and Assignment

Issue - State: closed - Opened by qwang98 over 1 year ago - 2 comments
Labels: good first issue, gfi easy

#84 - Updated PyChiquito frontend for latest changes

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 13 comments

#84 - Updated PyChiquito frontend for latest changes

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 13 comments

#83 - Instance data in halo2

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment

#83 - Instance data in halo2

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment

#82 - Moving PyChiquito to the main repo

Issue - State: closed - Opened by leolara over 1 year ago - 13 comments

#82 - Moving PyChiquito to the main repo

Issue - State: closed - Opened by leolara over 1 year ago - 13 comments

#81 - Code reorg

Pull Request - State: closed - Opened by leolara over 1 year ago

#81 - Code reorg

Pull Request - State: closed - Opened by leolara over 1 year ago

#80 - Taikquito experiment

Pull Request - State: closed - Opened by leolara over 1 year ago - 2 comments

#80 - Taikquito experiment

Pull Request - State: closed - Opened by leolara over 1 year ago - 2 comments

#79 - Stateless compiler

Pull Request - State: closed - Opened by leolara over 1 year ago

#79 - Stateless compiler

Pull Request - State: closed - Opened by leolara over 1 year ago

#78 - An error occurs when replacing SingleRowCellManager with MaxWidthCellManager.

Issue - State: closed - Opened by 10to4 over 1 year ago - 2 comments

#78 - An error occurs when replacing SingleRowCellManager with MaxWidthCellManager.

Issue - State: closed - Opened by 10to4 over 1 year ago - 2 comments

#77 - Updated pychiquito frontend

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#77 - Updated pychiquito frontend

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#76 - Transition constraints inactive in last step

Pull Request - State: closed - Opened by leolara over 1 year ago

#76 - Transition constraints inactive in last step

Pull Request - State: closed - Opened by leolara over 1 year ago

#75 - Add unit tests to DSL

Issue - State: closed - Opened by leolara over 1 year ago - 2 comments
Labels: good first issue, gfi easy

#75 - Add unit tests to DSL

Issue - State: closed - Opened by leolara over 1 year ago - 2 comments
Labels: good first issue, gfi easy

#74 - Steve/pychiquito-generate-verify-proof

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#74 - Steve/pychiquito-generate-verify-proof

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#73 - Example/forth

Pull Request - State: closed - Opened by lancenonce over 1 year ago

#73 - Example/forth

Pull Request - State: closed - Opened by lancenonce over 1 year ago

#72 - Working super circuit and LookupTable abstraction

Pull Request - State: closed - Opened by leolara over 1 year ago - 2 comments

#72 - Working super circuit and LookupTable abstraction

Pull Request - State: closed - Opened by leolara over 1 year ago - 2 comments

#71 - Feat/managed padding 68*

Pull Request - State: closed - Opened by lancenonce over 1 year ago - 4 comments

#71 - Feat/managed padding 68*

Pull Request - State: closed - Opened by lancenonce over 1 year ago - 4 comments

#70 - Steve/pychiquito generate verify proof

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 1 comment

#70 - Steve/pychiquito generate verify proof

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 1 comment

#69 - Steve/frontend witness generation

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#69 - Steve/frontend witness generation

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#68 - Managed padding

Issue - State: closed - Opened by leolara over 1 year ago

#68 - Managed padding

Issue - State: closed - Opened by leolara over 1 year ago

#67 - Steve/frontend

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#67 - Steve/frontend

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#66 - Enable that with MaxWidth CM is possible to force same height

Pull Request - State: closed - Opened by leolara over 1 year ago - 1 comment

#66 - Enable that with MaxWidth CM is possible to force same height

Pull Request - State: closed - Opened by leolara over 1 year ago - 1 comment

#65 - Feat/expose sigs and offset 60 62

Pull Request - State: closed - Opened by lancenonce over 1 year ago - 10 comments

#65 - Feat/expose sigs and offset 60 62

Pull Request - State: closed - Opened by lancenonce over 1 year ago - 10 comments

#64 - Feat: Disable `q_enable`

Pull Request - State: closed - Opened by lancenonce over 1 year ago - 2 comments

#64 - Feat: Disable `q_enable`

Pull Request - State: closed - Opened by lancenonce over 1 year ago - 2 comments

#63 - Super Circuit backend for halo2

Pull Request - State: closed - Opened by leolara over 1 year ago - 3 comments

#63 - Super Circuit backend for halo2

Pull Request - State: closed - Opened by leolara over 1 year ago - 3 comments

#62 - Allow to expose signals in arbitrary step offset

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment

#62 - Allow to expose signals in arbitrary step offset

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment

#61 - Enable to expose signals for the last step instance

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment

#61 - Enable to expose signals for the last step instance

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment

#60 - Enable to expose shared signals

Issue - State: closed - Opened by leolara over 1 year ago

#60 - Enable to expose shared signals

Issue - State: closed - Opened by leolara over 1 year ago

#59 - Allow the posibility to disable q_enable

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment

#59 - Allow the posibility to disable q_enable

Issue - State: closed - Opened by leolara over 1 year ago - 1 comment

#58 - Common code for assignments and default fixed moved to compiler

Pull Request - State: closed - Opened by leolara over 1 year ago - 7 comments

#58 - Common code for assignments and default fixed moved to compiler

Pull Request - State: closed - Opened by leolara over 1 year ago - 7 comments

#57 - Refactor for SuperCircuit

Pull Request - State: closed - Opened by leolara over 1 year ago

#57 - Refactor for SuperCircuit

Pull Request - State: closed - Opened by leolara over 1 year ago

#56 - Refactor for SuperCircuit

Pull Request - State: closed - Opened by leolara over 1 year ago - 2 comments

#56 - Refactor for SuperCircuit

Pull Request - State: closed - Opened by leolara over 1 year ago - 2 comments

#55 - issue 52 part 3: plaf backend for fixed gen

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 1 comment

#55 - issue 52 part 3: plaf backend for fixed gen

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 1 comment

#54 - issue 52 part 2: ir, compiler, and halo2 backend for fixed gen

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 3 comments

#54 - issue 52 part 2: ir, compiler, and halo2 backend for fixed gen

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 3 comments

#53 - issue 52: fixed signal part 1

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 1 comment

#53 - issue 52: fixed signal part 1

Pull Request - State: closed - Opened by qwang98 over 1 year ago - 1 comment

#52 - Fixed signal

Issue - State: closed - Opened by qwang98 over 1 year ago

#52 - Fixed signal

Issue - State: closed - Opened by qwang98 over 1 year ago

#51 - issue 48 part 3: halo2 and plaf backends

Pull Request - State: closed - Opened by qwang98 over 1 year ago

#51 - issue 48 part 3: halo2 and plaf backends

Pull Request - State: closed - Opened by qwang98 over 1 year ago

GitHub / privacy-scaling-explorations/chiquito issues and pull requests