Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add number of addition constraints and total constraints to r1cs info #353

Open
wants to merge 54 commits into
base: master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
54 commits
Select commit Hold shift + click to select a range
9b97b50
Add num additions to r1cs info
xavi-pinsach Apr 21, 2023
8702b3a
add checkAddtions as optional flag
xavi-pinsach Apr 21, 2023
8e9e23d
add total constraints in info
xavi-pinsach Apr 21, 2023
5add066
Plonk refactored with new clsses and working
xavi-pinsach Apr 30, 2023
44b1efb
change logger.in -> logger.debug
xavi-pinsach May 1, 2023
d4a17f0
update protocol to last version
xavi-pinsach May 2, 2023
ae4130c
Refactor Fiat-Shamir adding preprocessed circuit dependent values
xavi-pinsach May 2, 2023
7f462cc
Add check functions in js and sc
xavi-pinsach May 6, 2023
80e7ce1
refactor groth16 smart contract to assembly code
xavi-pinsach May 11, 2023
aadeb25
fix calldata types and test passing
xavi-pinsach May 11, 2023
37fbbde
fix errors. working
xavi-pinsach May 12, 2023
dbe718d
wip
xavi-pinsach May 12, 2023
bd57b81
add debug function
xavi-pinsach May 13, 2023
cc771d4
remove console.log import
xavi-pinsach May 13, 2023
1218180
Plonk smart contracte refactored.
xavi-pinsach May 17, 2023
b6f9655
Added test with circuits using +1 inputs
xavi-pinsach May 17, 2023
b22da86
Added cricuits tests with +1 inputs
xavi-pinsach May 17, 2023
3b9d22e
Merge branch 'master' into plonk_classes
xavi-pinsach May 17, 2023
9016760
mod package.json
xavi-pinsach May 17, 2023
379876d
Merge branch 'master' into feat_r1cs_print_additions
xavi-pinsach May 17, 2023
2f9def4
fix(cli): Correctly return status codes instead of values (#369)
phated May 18, 2023
e094f55
feat: Use WebCrypto if available (#364)
phated May 18, 2023
2eef5d1
chore(ci): Add browser testing (#365)
phated May 18, 2023
e70271b
Feat lagrange verifier (#368)
RogerTaule May 18, 2023
c8b54e0
Plonk refactored with new clsses and working
xavi-pinsach Apr 30, 2023
3b6349d
change logger.in -> logger.debug
xavi-pinsach May 1, 2023
40a0afc
update protocol to last version
xavi-pinsach May 2, 2023
b57d0cd
Refactor Fiat-Shamir adding preprocessed circuit dependent values
xavi-pinsach May 2, 2023
d4a8fe5
fix errors. working
xavi-pinsach May 12, 2023
2485bb4
wip
xavi-pinsach May 12, 2023
9237714
add debug function
xavi-pinsach May 13, 2023
9b09432
Plonk smart contracte refactored.
xavi-pinsach May 17, 2023
46dfbd3
Added cricuits tests with +1 inputs
xavi-pinsach May 17, 2023
5895e8b
mod package.json
xavi-pinsach May 17, 2023
dc4e991
update ffjavascript to 0.2.59
xavi-pinsach May 18, 2023
bf6eda7
Merge branch 'plonk_classes' of github.com:iden3/snarkjs into plonk_c…
xavi-pinsach May 18, 2023
bdcfff7
Add check functions in js and sc
xavi-pinsach May 6, 2023
fe20248
refactor groth16 smart contract to assembly code
xavi-pinsach May 11, 2023
f876879
fix calldata types and test passing
xavi-pinsach May 11, 2023
ee8b9e3
remove console.log import
xavi-pinsach May 13, 2023
fd9b765
add scalar import
xavi-pinsach May 18, 2023
eea77e5
Merge branch 'xpinsach/refactor-groth16-sc' of github.com:iden3/snark…
xavi-pinsach May 18, 2023
0cdacdf
Add check functions in js and sc
xavi-pinsach May 6, 2023
62a3b9e
refactor groth16 smart contract to assembly code
xavi-pinsach May 11, 2023
d5a179c
fix calldata types and test passing
xavi-pinsach May 11, 2023
5f41773
remove console.log import
xavi-pinsach May 13, 2023
cfac623
add scalar import
xavi-pinsach May 18, 2023
131e55c
Merge branch 'xpinsach/refactor-groth16-sc' of github.com:iden3/snark…
xavi-pinsach May 18, 2023
03f344b
remove hardhat import
xavi-pinsach May 18, 2023
88e3304
Add num additions to r1cs info
xavi-pinsach Apr 21, 2023
5d2b9c1
add checkAddtions as optional flag
xavi-pinsach Apr 21, 2023
f20470d
add total constraints in info
xavi-pinsach Apr 21, 2023
de531e9
Merge branch 'feat_r1cs_print_additions' of github.com:iden3/snarkjs …
xavi-pinsach May 18, 2023
3f81e1a
remove circular dependency
xavi-pinsach May 18, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .eslintrc.cjs
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ module.exports = {
"mocha": true
},
"parserOptions": {
"ecmaVersion": 2020,
"ecmaVersion": 2022,
"sourceType": "module"
},
"extends": "eslint:recommended",
Expand Down
30 changes: 30 additions & 0 deletions .github/workflows/tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -91,3 +91,33 @@ jobs:

- name: Run tests
run: npm run testv12

test-browser:
name: Test browser
runs-on: ${{ matrix.os }}
timeout-minutes: 30

strategy:
fail-fast: false
matrix:
os: [ubuntu-latest]
node-version: ["18"]

steps:
- name: Checkout project
uses: actions/checkout@v2

- name: Setup Node.js ${{ matrix.node-version }}
uses: actions/setup-node@v3
with:
node-version: ${{ matrix.node-version }}
check-latest: true
cache: "npm"

- name: Install browser dependencies
working-directory: browser_tests
run: npm ci

- name: Run browser tests
working-directory: browser_tests
run: npm test
91 changes: 91 additions & 0 deletions .vscode/launch.json
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,97 @@
"<node_internals>/**"
],
"type": "node"
},
{
"type": "node",
"request": "launch",
"name": "groth16 setup",
"skipFiles": [
"<node_internals>/**"
],
"program": "cli.js",
"args": [
"groth16", "setup",
"test/groth16/circuit.r1cs",
"test/plonk_circuit/powersOfTau15_final.ptau",
"test/groth16/circuit.zkey"
]
},
{
"type": "node",
"request": "launch",
"name": "groth16 prove",
"skipFiles": [
"<node_internals>/**"
],
"program": "cli.js",
"args": [
"groth16", "prove",
"test/groth16/circuit.zkey",
"test/groth16/witness.wtns",
"test/groth16/proof.json",
"test/groth16/public.json",
"-v"
]
},
{
"type": "node",
"request": "launch",
"name": "groth16 export vk",
"skipFiles": [
"<node_internals>/**"
],
"program": "cli.js",
"args": [
"zkev",
"test/groth16/circuit.zkey",
"test/groth16/verification_key.json",
]
},
{
"type": "node",
"request": "launch",
"name": "groth16 verify",
"skipFiles": [
"<node_internals>/**"
],
"program": "cli.js",
"args": [
"groth16", "verify",
"test/groth16/verification_key.json",
"test/groth16/public.json",
"test/groth16/proof.json",
"-v"
]
},
{
"type": "node",
"request": "launch",
"name": "groth16 solidity verifier",
"skipFiles": [
"<node_internals>/**"
],
"program": "cli.js",
"args": [
"zkesv",
"test/groth16/circuit.zkey",
"test/groth16/verifier.sol",
]
},

{
"type": "node",
"request": "launch",
"name": "groth16 solidity calldata",
"skipFiles": [
"<node_internals>/**"
],
"program": "cli.js",
"args": [
"zkesc",
"test/groth16/public.json",
"test/groth16/proof.json",
]
},
{
"type": "node",
Expand Down
Loading