27 Commits

Author	SHA1	Message	Date
kilic	7a0346d05f	Refactor RangeInstructions for decomposition results	2022-07-01 15:00:19 +03:00
kilic	b5c7086f0d	Replace AssignedValue with AssignedCell	2022-06-30 17:06:57 +08:00
han0110	747cd51915	feat: use unwrap_or_else instead of manually match for invert ... Co-authored-by: Chih Cheng Liang <chihchengliang@gmail.com>	2022-06-30 13:28:56 +08:00
kilic	d12bc8f849	Relpace UnassignedValue with Value	2022-06-30 13:02:21 +08:00
han0110	bd917d9246	feat: use Value API for all	2022-06-30 13:02:05 +08:00
kilic	8fe5c726f5	Apply clippy	2022-06-12 18:48:29 +03:00
kilic	d3ba6c015a	Use OsRng everywhere	2022-06-12 18:48:13 +03:00
kilic	b6c656b3df	Implement incomplete division with single mul ... Closes #6	2022-06-12 16:35:48 +03:00
kilic	9ac33d2d80	Implement simultaneous addition for 3 integers	2022-06-12 16:34:38 +03:00
kilic	ecdb676228	Add sanity checks for running subtraction	2022-06-12 16:31:21 +03:00
kilic	8d331496f2	Integration to halo2curves ... Remove dependency and conditional flags	2022-06-09 14:41:58 +03:00
kilic	ecf00d844c	Add missing_debug_implementations and missing_docs flags	2022-06-09 14:40:17 +03:00
kilic	eb2b11f590	Remove ecc/secp256k1 for planned halo2curves use ... Temporarily comment out and	2022-06-09 14:40:09 +03:00
kilic	6356907b6a	Port comments from #26	2022-06-09 14:39:07 +03:00
kilic	e92991c5ea	Generelize IntegerChip against number of limbs ... Simplify `RNS` construction	2022-06-09 14:39:07 +03:00
kilic	74113fc1ca	Use constants for number of limbs and bit size of limbs	2022-04-12 15:19:58 +02:00
kilic	d075804322	Add combine function to main gate ... Move conversion utils to base crate Rename main_gate::decompose function as to_bits Move arithetic implementations to instructions trait	2022-04-12 15:19:58 +02:00
David Nevado	47a1f7bcd0	Move secp256k1 as a dependency	2022-04-08 17:12:33 +02:00
David Nevado	3822dda3d6	Fix Integer features	2022-03-31 01:51:32 +02:00
kilic	24b56144cd	apply clippy	2022-03-11 00:59:10 +03:00
kilic	96bd02e9f3	cargo fmt: use default max_width	2022-03-10 21:06:37 +03:00
kilic	bd1addedb1	Use shared rns instance everywhere	2022-03-10 21:04:08 +03:00
kilic	0a4ddeb425	Remove 4 width main gate	2022-03-09 19:25:18 +03:00
kilic	60085a1308	better structure for integer test ... test secp256k1 field constrains	2022-03-08 16:12:36 +03:00
kilic	51780dec1e	fix rns v0 underflow issue	2022-03-08 16:10:47 +03:00
kilic	1a3a66775d	Bundle region and offset ... Remove no_lookup feature	2022-03-06 13:45:54 +03:00
kilic	235fcb9be3	Into workspace	2022-02-11 21:29:14 +03:00