ark-r1cs-std-cherry-picked

Author	SHA1	Message	Date
Pratyush Mishra	99e489cac7	`R1CSVar`: `Option::None` -> `ConstraintSystemRef::None` (#281 )	4 years ago
Pratyush Mishra	13332bcc1d	Add doctests for `Boolean` and `UInt8`.	4 years ago
Pratyush Mishra	3a18ecee0d	Add examples and doctests for instantiated curves	4 years ago
Pratyush Mishra	370fbcdd3b	Document `r1cs-std`	4 years ago
Weikeng Chen	c21d0b2796	Add `ToConstraintFieldGadget` (#278 )	4 years ago
Pratyush Mishra	40ce981801	Fix integer conversions and log2	4 years ago
Pratyush Mishra	5e00793999	Switch to `tracing`-based constraint debugging	4 years ago
Pratyush Mishra	e22ab36f7e	Fix nits	4 years ago
Pratyush Mishra	d2d1b61d08	Refactor NIZK/MT verification to return a bit	4 years ago
Pratyush Mishra	6cca9327be	Refactor bit iteration infrastructure: * `to_bits` -> `to_bits_le` * `BitIterator` -> `BitIteratorLE` + `BitIteratorBE` * `found_one`/`seen_one` -> `BitIteratorBE::without_leading_zeros`	4 years ago
Weikeng Chen	bce788419f	Export `impl_bounded_ops` This would be necessary if, in another crate, one wants to implement operators.	4 years ago
Pratyush Mishra	f575af4da1	Update `Cargo.toml` in `r1cs-std` and delete useless `ConstraintSystem`s	4 years ago
Pratyush Mishra	50388bdc22	Update concrete curves in `r1cs-std`.	4 years ago
Pratyush Mishra	26953045d4	Update pairings in `r1cs-std`.	4 years ago
Pratyush Mishra	5e65926a5e	Update curve variables in `r1cs-std`.	4 years ago
Pratyush Mishra	8022b598fb	Update field variables in `r1cs-std`	4 years ago
Pratyush Mishra	202ef3204d	Refactor variable traits in `r1cs-std`.	4 years ago
Pratyush Mishra	7b0f71a10e	Refactor `bit` variables in `r1cs-std`	4 years ago
Weikeng Chen	61c70ed644	Prepare Zexe for recursion (#241 ) Co-authored-by: Pratyush Mishra <pratyushmishra@berkeley.edu>	4 years ago
Youssef El Housni	36305e7247	Implement ed_on_bn254 curve (baby-jubjub) (#230 )	4 years ago
Dev Ojha	a83914af50	Add mul_by_inverse to FieldGadget (#227 )	4 years ago
Dev Ojha	75439b9b4d	Add constant folding to FpGadget<F> (#226 )	4 years ago
Weikeng Chen	885e9d7bad	Add constraints for Edwards curves over MNT4 (#221 )	4 years ago
Pratyush Mishra	9391b1fd04	Rename to `ed_on`	4 years ago
Pratyush Mishra	7a0177e8c7	Re-export `edwards_on_cp6_782` as `edwards_on_bw6_761`	4 years ago
Pratyush Mishra	40e89254e0	Fix no-std compilation	4 years ago
Pratyush Mishra	1959a3de63	Rename curves	4 years ago
ValarDragon	349407faef	Speed up exp_by_const	4 years ago
ValarDragon	c555535605	Improve invalid namespace error msg	4 years ago
Pratyush Mishra	75c55f7bee	Change `from_repr` to output `Option<Self>`	4 years ago
Georgios Konstantopoulos	ecf863f541	expose function which enforces a <= (p-1)/2	4 years ago
Georgios Konstantopoulos	ea2adb4f7f	fix(fp-cmp): use enforce unchecked in enforce unchecked function	4 years ago
Bruno França	bbb7d75ec8	Implement `conditional_check_verify` for `NIZK`s (#195 ) * Implement `ToBitsGadget` for `UInt8` and `Vec<UInt8>` * Add `kary_or` function to `Boolean`.	4 years ago
Kobi Gurkan	5cc094be6b	Adds alloc_constant to AllocGadget (#189 ) * adds alloc constant to AllocGadget * fmt * fmt * more alloc constant impls * fmt * even more impls * fixes type * fixes alloc_constant in gm17 * uses alloc_constant from field gadget in group gadgets * fmt * handle most comments	4 years ago
Pascal Berrang	c486e15f0e	Add test cases for COFACTOR and generalize SW tests	4 years ago
Pratyush Mishra	5659b0d9ea	Fix CI to test more code in `no_std`	4 years ago
Pratyush Mishra	33a9da08f8	Switch to `stable` cargo formatting options	4 years ago
Pratyush Mishra	456f30a849	Fix #172 and improve squaring code for deg-3 extensions (#174 )	4 years ago
Pascal Berrang	8631f883c4	MNT4/6 curves and recursive SNARKs (#150 ) * Add mnt6_753 curve Generalize mnt6 curve model * Add mnt4 curves * Use resampled generators * Calculate correct G2 cofactors * Add fields to r1cs-std * Add pairings * Improve reusing of Fq/Fr among MNT curves * Add instantiations of curves Fix Fp6_2over3 Rebase code to current master * Add test for recursive NIZK proof verification * Address comments in PR * Improve test case and port to GM17 Also fix a minor bug in to_field_vec	4 years ago
Kobi Gurkan	c58fc31119	fmt and docs	4 years ago
Kobi Gurkan	ded3d687cc	removes unused struct + fmt	4 years ago
Kobi Gurkan	8cd0999431	moves cmp to be under FpGadget	4 years ago
Kobi Gurkan	60058b2186	changes test name	4 years ago
Kobi Gurkan	bd86eb4563	uses core instead of std	4 years ago
Kobi Gurkan	b0f266de1e	fmt	4 years ago
Kobi Gurkan	7ed38fe4a6	makes API cmp-like	4 years ago
Kobi Gurkan	ccbb5ef553	adds a smaller than gadget	4 years ago
Weikeng Chen	33f7d3988f	Update uint64.rs	4 years ago
weikeng	a205f191f7	used AllocGadget for UInt64	4 years ago
Georgios Konstantopoulos	0ffa409ec1	Apply suggestions from code review Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>	4 years ago

1 2

90 Commits (2a8ee871d81ed384d3f276202a857587b402518c)