Jeeiii
1d0294c5ea
refactor: move from test utils to helpers; re-use mock verifier artifact
2023-03-10 12:02:56 +01:00
Jeeiii
4c8ce3d459
feat: verify proof using a verifier smart contract
2023-03-10 11:29:24 +01:00
Jeeiii
ed92e6ceae
feat: add hardhat typescript configuration boilerplate
2023-03-09 22:42:46 +01:00
ctrlc03
3bb3b0e61e
fix(verify ceremony): merge dev and fix conflicts
2023-03-09 16:58:30 +00:00
ctrlc03
809d84826e
refactor(verify ceremony): refactoring
2023-03-09 16:57:06 +00:00
ctrlc03
0ced2f84bb
Merge pull request #343 from ctrlc03/feat/compute_zkey_from_scratch
...
feat(compute zkey): compute a zkey from scratch (genesis or final)
2023-03-09 11:43:08 +00:00
ctrlc03
8b35051288
fix(compute zkey): merged dev and fixed conflicts
2023-03-09 11:30:57 +00:00
ctrlc03
6a85f79a48
feat(ceremony verification): added a function for fully verifying a ceremony
...
Started implementing a full ceremony verification function.
2023-03-09 11:17:10 +00:00
ctrlc03
7176dbaa9d
Merge pull request #344 from ctrlc03/feat/compare_hashes
...
feat(compare artifacts hashes): added utilities to compare artifacts hashes
2023-03-09 10:49:36 +00:00
ctrlc03
5b05d35a6c
fix(compare hashes): merge dev and fix conflicts
2023-03-09 10:30:55 +00:00
ctrlc03
9e915cda57
Merge pull request #345 from ctrlc03/feat/download_ceremony_artifacts
...
feat(download ceremony artifacts): implemented utilities to download a ceremony artifacts
2023-03-09 10:16:51 +00:00
ctrlc03
7bf961feaf
fix(compute zkey): refactor after pr comments
2023-03-09 10:08:27 +00:00
ctrlc03
c4cd4ad1f0
feat(download ceremony artifacts): implemented utilities to download a ceremony artifacts
...
helper functions that allow to dowload all artifacts for a ceremony needed for verification. It
requires the ceremony prefix
2023-03-07 18:21:02 +00:00
ctrlc03
270dc82e37
fix(compute zkey): adding missing file
2023-03-07 15:17:40 +00:00
ctrlc03
6e96502d03
feat(compare artifacts hashes): added utilities to compare artifacts hashes
...
Added utility functions that can be used to verify whether two artifacts are the same. This can be
used for ceremony verification.
2023-03-07 14:40:56 +00:00
ctrlc03
99f064028e
fix(compute zkey): remove redundant exports
2023-03-07 13:19:30 +00:00
ctrlc03
2384865ca4
feat(compute zkey): compute a zkey from scratch (genesis or final)
...
Added helper function and unit tests to create a zKey from scratch. This can be used to verify that
a genesis zKey is valid or that the final zKey is valid.
2023-03-07 13:08:44 +00:00
Giacomo
335b5bbbb0
Merge pull request #341 from 0xjei/fix/head-error
...
Fix: remove verification for pre-computed zKeys to avoid heap error
2023-03-06 18:46:28 +01:00
Jeeiii
6cd7e95362
refactor: remove pre-computed zkey verification from setup command
2023-03-06 18:03:30 +01:00
Giacomo
e670935b50
Merge pull request #340 from 0xjei/fix/read-r1cs
...
Fix: read medium/large R1CS files
2023-03-06 14:54:09 +01:00
Jeeiii
8fc8e81ce0
test: missing separation between dev and prod paths
2023-03-06 11:52:06 +01:00
Jeeiii
06bf19b5b4
test: clean up and add missing test
2023-03-06 11:08:40 +01:00
Jeeiii
7e38b0b5df
refactor: optimized r1cs read helper to support large files
2023-03-06 11:07:59 +01:00
Jeeiii
6a11547086
chore: add missing ffjavascript package and auto generated types
2023-03-06 11:06:34 +01:00
Giacomo
cf6e7f9f65
Merge pull request #337 from ctrlc03/feat/verify_zkey
...
feat(verification): verify that a zkey is valid
2023-03-03 15:13:06 +01:00
Giacomo
4008d132f5
Merge branch 'dev' into feat/verify_zkey
2023-03-03 15:03:50 +01:00
Giacomo
3b147f2179
Merge pull request #339 from 0xjei/dev
...
Fix: Conflicts after verification helpers merge
2023-03-03 14:58:25 +01:00
Jeeiii
549d024d29
fix: wrong path
2023-03-03 14:44:14 +01:00
Jeeiii
2c82f5fa41
fix: conflicts
2023-03-03 14:19:01 +01:00
Giacomo
c3c6d41f2c
Merge pull request #335 from ctrlc03/feat/verify_proof
...
feat(verification): added helper to generate/verify GROTH16 proofs
2023-03-03 14:12:57 +01:00
Giacomo
4319cea18d
Merge branch 'dev' into feat/verify_proof
2023-03-03 13:50:17 +01:00
Giacomo
c2f8279cce
Merge pull request #332 from ctrlc03/feat/extract_zkey_verifier
...
feat(verification): added helper to extract artifacts from a zKey
2023-03-03 13:07:35 +01:00
Giacomo
85e7489284
Merge branch 'dev' into feat/extract_zkey_verifier
2023-03-03 12:45:50 +01:00
Giacomo
6af2aaae7c
Merge pull request #338 from 0xjei/tests/finalize
...
Fix: finalize tests CI build
2023-03-03 12:45:42 +01:00
Jeeiii
28958f9956
fix: missing imports; moved artifacts to correct folder
2023-03-03 12:32:03 +01:00
Giacomo
46e67d54e9
Merge pull request #327 from ctrlc03/tests/finalize
...
test(finalize): added unit tests for ceremony finalization
2023-03-03 12:30:38 +01:00
Giacomo
b8f3b854c7
Merge branch 'dev' into tests/finalize
2023-03-03 12:18:04 +01:00
Giacomo
bb68550058
Merge pull request #325 from ctrlc03/tests/contribute
...
test (contribute)
2023-03-03 12:14:31 +01:00
ctrlc03
73c35574f2
fix(verification): added missing files and fixed paths for ci/prod tests
...
added missing types file and fixed tests to run both on emulator and prod.
2023-03-02 16:58:03 +00:00
ctrlc03
ca5712cfbd
feat(verification): helper function to verify that a zkey is valid
...
given a r1cs, a pot and a zkey, this helper function will verify that the zkey is valid
2023-03-02 16:28:57 +00:00
ctrlc03
618d1af24e
fix(contribute): fix ci tests
2023-03-02 13:18:23 +00:00
ctrlc03
0c00327471
fix(contribute): refactoring after PR review
...
refactored tests after PR review
2023-03-02 12:05:44 +00:00
ctrlc03
6c94aef82c
test(finalize): fix emulator test bug
...
fix emulator bug
2023-03-01 17:04:17 +00:00
ctrlc03
d3039f392b
test(finalize): added extra conditions to test cases
...
added extra checks on the e2e test cases
2023-03-01 16:49:56 +00:00
ctrlc03
85f95531ba
test(finalize): added last e2e test for finalization
...
added e2e test for successful ceremony finalization
2023-03-01 16:32:42 +00:00
ctrlc03
eb40ed3034
fix(verification): swapped vkey to fix CI tests
...
swapped the previously uploaded test verification key
2023-03-01 00:27:45 +00:00
ctrlc03
0c32a65d87
fix(verification): fixed ci tests
2023-03-01 00:17:30 +00:00
ctrlc03
381ba617b8
feat(verification): added proof generation and verification utilities
...
Added utilities to generate and verify GROTH16 proofs, as well as unit tests and testing utilities
2023-03-01 00:10:36 +00:00
ctrlc03
e4d548153b
test(finalize): refactored tests
...
refactored tests: added more descriptive error messages and completed missing tests.
2023-02-28 22:40:14 +00:00
ctrlc03
acaf24e418
Merge branch 'dev' of github.com:ctrlc03/mpc-phase2-suite into tests/finalize
2023-02-28 19:37:50 +00:00
