Commit Graph

  • 958641daf8 Integrate applications into the base kilic 2022-06-03 09:01:12 +03:00
  • e92991c5ea Generelize IntegerChip against number of limbs kilic 2022-06-02 14:57:31 +03:00
  • de6fc82974 Add zero sum constraint kilic 2022-06-02 14:53:28 +03:00
  • 15bb5c9749 Merge pull request #31 from ed255/feature/bump-halo2 v2022_06_03 kilic 2022-06-03 14:28:44 +03:00
  • 060f143933 Bump halo2 tag Eduard S 2022-06-03 12:29:50 +02:00
  • a1a9a137a3 Merge pull request #29 from pinkiebell/fix-links kilic 2022-06-02 12:30:45 +03:00
  • ce03a49da8 fix links after github org rename pinkiebell 2022-06-02 08:36:03 +00:00
  • 92b96893b5 Merge pull request #25 from ed255/feature/test-kzg v2022_05_13 kilic 2022-05-13 20:36:21 +02:00
  • 2159d0a2ef Bump halo2 tag Eduard S 2022-05-13 19:00:49 +02:00
  • 1e9cce91d5 Add github action for KZG test; apply small fixes Eduard S 2022-04-29 11:28:16 +02:00
  • 2c65ef15a6 add comments kilic 2022-04-13 18:33:02 +02:00
  • 5251f1b6b2 Apply copy constain to Self instead of cell kilic 2022-04-13 18:31:02 +02:00
  • 513eafff1d Add transcript circuit kilic 2022-04-12 15:09:02 +02:00
  • 74113fc1ca Use constants for number of limbs and bit size of limbs kilic 2022-04-12 15:06:34 +02:00
  • d075804322 Add combine function to main gate kilic 2022-04-12 15:00:41 +02:00
  • 3332c71915 Merge pull request #24 from davidnevadoc/fix-integer-feature kilic 2022-04-12 15:07:44 +02:00
  • 47a1f7bcd0 Move secp256k1 as a dependency David Nevado 2022-04-08 12:55:04 +02:00
  • 4a18ef7383 Merge branch 'appliedzkp:master' into fix-integer-feature David Nevado 2022-04-08 12:50:59 +02:00
  • 3822dda3d6 Fix Integer features David Nevado 2022-03-31 01:51:32 +02:00
  • 00b90e8c31 Merge pull request #21 from davidnevadoc/master kilic 2022-03-18 21:23:23 +03:00
  • 7d8f9feac1 Comments (#1) David Nevado 2022-03-18 12:19:38 +01:00
  • 24b56144cd apply clippy kilic 2022-03-11 00:59:10 +03:00
  • 96bd02e9f3 cargo fmt: use default max_width kilic 2022-03-10 21:06:37 +03:00
  • abcdddf653 Move ecdsa crate to parent dir kilic 2022-03-10 21:05:34 +03:00
  • bd1addedb1 Use shared rns instance everywhere kilic 2022-03-10 21:04:08 +03:00
  • 7d5291974a apply clippy kilic 2022-03-10 21:00:39 +03:00
  • 4bc7207335 test ecc and ecdsa against secp256k1 kilic 2022-03-09 19:28:28 +03:00
  • 34805ba318 normalize field element in read and write kilic 2022-03-09 19:27:51 +03:00
  • 0a4ddeb425 Remove 4 width main gate kilic 2022-03-09 19:25:18 +03:00
  • 60085a1308 better structure for integer test kilic 2022-03-08 16:12:36 +03:00
  • 84491635cb fix lookup selectors kilic 2022-03-08 16:10:59 +03:00
  • 51780dec1e fix rns v0 underflow issue kilic 2022-03-08 16:10:47 +03:00
  • 5ac6b152da impl coordinates constructor for kzg feature kilic 2022-03-07 20:44:26 +03:00
  • 7c3e61b6b6 bump halo2_proofs kilic 2022-03-07 20:06:11 +03:00
  • 03aeb08f6b Move secp256k1 to ecc David Nevado 2022-03-03 19:05:01 +01:00
  • 1a9fc22862 Remove unused Group trait David Nevado 2022-02-28 17:01:34 +01:00
  • a4e5ad2148 Fix generator David Nevado 2022-02-27 22:21:13 +01:00
  • 2f7eb35bca Remove special_a0_b5 case macro David Nevado 2022-02-27 16:42:52 +01:00
  • 9c10c3c7eb Add curve generator David Nevado 2022-02-27 16:41:42 +01:00
  • 812d51a631 Use secp256k1 in ecdsa tests David Nevado 2022-02-27 14:33:59 +01:00
  • e1e0547c70 Remove benchmarks David Nevado 2022-02-26 23:28:39 +01:00
  • 427558d8f4 Add getrandom for rand dependency David Nevado 2022-02-26 23:24:21 +01:00
  • c41bc5656d Rename Secp256k1 + latest pairing lib traits David Nevado 2022-02-26 22:34:06 +01:00
  • e26e19a5b2 Add ecdsa on secp256 test David Nevado 2022-02-24 13:13:35 +01:00
  • cfe15806b8 Add read() implementation David Nevado 2022-02-24 12:33:45 +01:00
  • 27be2cb420 Fix curves use in benchmarks David Nevado 2022-02-24 11:45:43 +01:00
  • 18a054db3b Complete kzg feature implementation David Nevado 2022-02-21 21:55:16 +01:00
  • 146faada4c Add implementation of kzg feature in Fq David Nevado 2022-02-21 17:55:33 +01:00
  • 962440112d mend David Nevado 2022-02-20 17:01:25 +01:00
  • c208940181 Add secp2561kforhalo2 crate David Nevado 2022-02-20 16:54:43 +01:00
  • 05e7e34735 Move ecdsa to ecdsa/circuit David Nevado 2022-02-20 15:14:09 +01:00
  • 1a3a66775d Bundle region and offset kilic 2022-03-06 13:45:54 +03:00
  • ec69104994 Add base crate to use common backend kilic 2022-02-19 20:48:10 +03:00
  • a9c5a51e9a Update select in 5-width gate David Nevado 2022-02-11 21:13:50 +01:00
  • fdc549f6d2 Merge pull request #19 from appliedzkp/add-ci kilic 2022-02-14 19:33:42 +03:00
  • dfb38761d1 add ci ChihChengLiang 2022-02-14 22:29:09 +08:00
  • 235fcb9be3 Into workspace kilic 2022-02-11 21:29:14 +03:00
  • 314823d0d7 Integrate ecdsa chip with aux strategy kilic 2022-02-10 23:40:59 +03:00
  • 49f038b13e Add aux registry to ecc chip kilic 2022-02-10 23:39:55 +03:00
  • e0fbd1f3ba rewrite verify() in ecdsa.rs, revert some unnecessary changes TrapdoorHeader 2022-01-28 10:40:11 +08:00
  • 0b16326a78 use decompose() to reconstruct q_x on C::ScalarExt TrapdoorHeader 2022-01-25 19:30:37 +08:00
  • b78ac407dc changing interface TrapdoorHeader 2022-01-24 12:05:04 +08:00
  • 375062f7b1 ecdsa refactored, additional equal constraint on q.x == r required TrapdoorHeader 2022-01-24 12:03:51 +08:00
  • f907ebf2ab Add batch multiplication kilic 2022-02-10 07:25:21 +03:00
  • a165a5a15e Remove complete formulas kilic 2022-02-08 18:42:48 +03:00
  • 15056cb0b7 Apply some of clippy kilic 2022-01-24 17:48:22 +03:00
  • fe007d9762 Default to zcash/halo2 backend kilic 2022-01-24 17:22:30 +03:00
  • 1990e8f377 add kzg backend support kilic 2022-01-13 14:19:55 +03:00
  • 09dbf18d6f Use common rns in Integers kilic 2022-01-10 23:02:59 +03:00
  • 9a7404e3d9 use external main gate from halo2arith kilic 2022-01-10 16:24:47 +03:00
  • 084eaa2f2b Add double subtraction kilic 2022-01-03 19:21:50 +03:00
  • dee4352466 Add Montgomery ladder for general ecc kilic 2022-01-03 18:42:21 +03:00
  • fa0fdf483a Add circuit break to debug row count kilic 2022-01-03 18:37:38 +03:00
  • 7a72817871 add incomplete ecc constraints kilic 2021-12-28 21:56:13 +03:00
  • 3b48c758ab fmt kilic 2021-12-28 21:55:42 +03:00
  • 923c0bd0c4 add missing no lookup flags kilic 2021-12-28 21:52:04 +03:00
  • a76d0857c4 allow dead code kilic 2021-12-28 21:51:23 +03:00
  • d56d3193d3 remove unused kilic 2021-12-21 12:18:47 +03:00
  • 18e35ca66f add is_on_curve kilic 2021-12-14 14:51:41 +03:00
  • 7da64c3499 Use dynamic subtraction aux constant kilic 2021-12-27 17:38:56 +03:00
  • 02fdc08938 change visibility to super kilic 2021-12-27 13:33:33 +03:00
  • 2f7a1b68ae Implementation ecc mul var Heng 2021-12-13 18:19:28 +08:00
  • e94aaf0249 Merge pull request #13 from kilic/better-rns kilic 2021-12-20 19:41:01 +03:00
  • b3c7d2c9f9 revisit rns kilic 2021-12-13 13:50:14 +03:00
  • 29f9f63866 tidy kilic 2021-12-14 17:53:01 +03:00
  • fd2514544a Merge pull request #10 from genfengDog/ecc-ops kilic 2021-12-06 14:47:07 +03:00
  • fc586f7e0e fix cond_not Heng Zhang 2021-12-01 20:36:51 +08:00
  • 5f75983153 using add_constant for curve formula that includes a and b Xin Gao 2021-12-01 20:16:06 +08:00
  • 0653d78d18 Merge branch 'master' into ecc-ops Xin Gao 2021-11-27 15:59:30 +08:00
  • 19338088de Improve ecc traits for easier landing of #10 kilic 2021-11-27 00:13:38 +03:00
  • 3e38b43d8f Introduce constant operands in integer instructions kilic 2021-11-26 00:34:37 +03:00
  • 84bd7d2030 add assign or select gate kilic 2021-11-25 22:00:11 +03:00
  • 50c962efd7 fix identity and its related tests Heng Zhang 2021-11-23 22:55:25 +08:00
  • 2147574972 implement select in ecc-chip Xin Gao 2021-11-23 21:38:14 +08:00
  • d2d207c699 finalize branchs in ecc add Xin Gao 2021-11-23 18:43:00 +08:00
  • 9b233965f2 fix: add comments for lambda in ecc add Xin Gao 2021-11-23 15:25:35 +08:00
  • f196b49ff1 optimize: using x+x+x instead of x*3 Xin Gao 2021-11-23 11:43:59 +08:00
  • 6041c71947 implement cond_and cond_or cond_not Heng Zhang 2021-11-23 12:42:15 +08:00
  • fa11f3b09d feature: sketch ecc add Xin Gao 2021-11-20 12:36:26 +08:00
  • 5d1e4a37ae Add one_or_one instruction kilic 2021-11-21 17:48:42 +03:00