11 Commits

Author SHA1 Message Date
Richard Liang
37f14acaf8 fix: zkevm sha256 public instances (#14) 2023-11-07 22:30:28 -08:00
Richard Liang
54b17be099 Richard/update readme (#11)
* update readme

* update CLI

* add benches

* Update readme

* Update readme
2023-10-11 16:51:00 -07:00
Richard Liang
5fdfe8193f Add download tls cert script (#10) 2023-10-10 13:37:59 -07:00
Richard Liang
83bedf6eeb Add CLI wrapper (#9)
* Add back unoptimize sha256

* Add back unoptimize sha256

* Add back unoptimize sha256

* Fix agg circuit

* Update params for agg circuit

* Add CLI

* update default param

* test

* test

* test

* test

* test

* test

* Undo comment

* test

* test

* test

* test

* test

* test

* test

* test

* test

* test

* FInish testing CLI commands

* Update comments
2023-10-09 16:48:42 -07:00
Richard Liang
8578595d83 Add zkevm sha256 (#6)
* reorg files

* Add working zkevm sha256
2023-10-04 21:20:02 -07:00
Sachin
1dc0e22f6e Add EVM Verification (#3)
* Import evem feature

* Add evm verification test

* fix path

* print contract size

* temp commit

* temp commit

* temp commit 3

* try verifying sha-rsa

* decrease degree

* Add evm verification

* Update configs

* Update configs

* Update configs

* Clean unused imports

---------

Co-authored-by: Richard Liang <richardliang2015@u.northwestern.edu>
2023-09-29 23:29:31 -07:00
Richard Liang
1e83a65e8b Agg Split RSA and SHA256 (#4)
* Add split RSA SHA agg test

* Update agg to 16

* Update agg params

* Add test for level 2 agg

* Configure l2 agg

* Configure agg

* Configure agg

* Update params for testing

* Update params for testing

* Config update

* Config update
2023-09-28 15:07:48 -07:00
0xSachinK
57f54f056a Update to community-edition halo2-lib 2023-09-26 23:57:57 +05:30
0xSachinK
c4cc040ec4 Update to use develop branch for all dependencies 2023-09-26 16:59:49 +05:30
Richard Liang
f774012ce0 Add x509CertificateVerifier + single RSA/SHA256 verification function (#1)
* init scaffolding

* Add combined RSA SHA256 verification and tests

* Update naming

* Rm ds store
2023-09-25 17:42:54 -07:00
Richard Liang
00dd85213d init 2023-09-23 18:33:53 +01:00