issues
search
arkworks-rs
/
r1cs-std
R1CS constraints for bits, fields, and elliptic curves
https://www.arkworks.rs
Apache License 2.0
133
stars
58
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove dependency on ark-relations/std
#147
mzabaluev
opened
1 month ago
2
Replace derivative with educe
#146
weikengchen
closed
2 months ago
2
Avoid deeply nested `LinearCombination`s in `EvaluationsVar::interpolate_and_evaluate`
#145
winderica
closed
1 week ago
1
Add `ToConstraintFieldGadget` bounds to `CurveVar` and `FieldVar`
#144
winderica
opened
5 months ago
2
Add convenient method for variable allocation with inferred mode
#143
winderica
opened
5 months ago
0
Bug fix. Changed += to = in FieldVar double_in_place
#142
mskrzypkows
opened
6 months ago
7
Convenient method for context-based variable/constant allocation
#141
winderica
opened
6 months ago
2
Release with #117
#140
hrxi
opened
6 months ago
0
Fix visibility of `get_limbs_representations`
#139
skaunov
opened
7 months ago
3
Case for fallible `cs()` method
#138
skaunov
opened
8 months ago
0
Add convenience impls for common types
#137
Pratyush
closed
7 months ago
0
Add back `ToBytesGadget` and `ToBitsGadget` to `prelude`
#136
Pratyush
closed
8 months ago
0
Rename `NonNativeFieldVar` -> `EmulatedFpVar`
#135
Pratyush
closed
8 months ago
0
Add `Mul<NonNativeFieldVar> for Group`
#134
Pratyush
closed
8 months ago
0
`FpVar::{is_eq, is_neq}` only need two constraints
#133
winderica
closed
8 months ago
0
Add `Mul<NonNativeFieldVar<G::ScalarField, G::BaseField>>` to `G: Group`
#132
Pratyush
closed
8 months ago
0
chore(src): typo fix
#131
sqltrigger
closed
9 months ago
6
Add CODEOWNERS
#130
mmagician
closed
11 months ago
0
make nonnative gadget params configurable
#129
slumber
opened
1 year ago
10
nonnative arithmetic doesn't support < 3 limbs configuration
#128
slumber
opened
1 year ago
0
convert nonnative constant to little endian
#127
slumber
closed
1 year ago
0
alloc zero points consistently
#126
slumber
closed
1 year ago
2
why there is no constraints in some Fp operation?
#125
readygo67
closed
1 year ago
1
Handle zero-case in group scalar multiplication
#124
slumber
closed
1 year ago
6
why the specific bits split_len works within fixed_scalar_mul_le function?
#123
PayneJoe
opened
1 year ago
1
Import AdditiveGroup.
#122
mmaker
closed
1 year ago
1
Refactor `UInt{8,16,64,128}` into one struct `UInt`
#121
Pratyush
closed
8 months ago
3
Update CI actions: replace `actions-rs/toolchain` with `dtolnay/rust-toolchain`, update `checkout` action to v3
#120
mmagician
closed
1 year ago
2
Hybrid method for random access/conditional selection from 2^k values
#119
mmagician
opened
1 year ago
6
Implement O(sqrt(n)) `conditionally_select_power_of_two_vector` method
#118
mmagician
opened
1 year ago
0
Fix base scalar multiplication
#117
paberr
closed
1 year ago
2
added rotl function
#116
prismaman
closed
8 months ago
1
Update `master` branch to 0.4.0
#115
mmagician
closed
1 year ago
0
use `frobenius_map_in_place` instead of `frobenious_map`
#114
mmagician
closed
1 year ago
1
Fix for add_many (issue #23)
#113
tgodden
closed
1 year ago
2
Apply release 0.4 updates to the extend-pairing-var branch
#112
weikengchen
closed
1 year ago
0
Change the default field type of the pairing var
#111
weikengchen
closed
1 year ago
2
Publish & tag 0.4.0-alpha
#110
mmagician
closed
1 year ago
0
Prepare release 0.4
#109
mmagician
closed
1 year ago
0
Constant tobytes of Fp is in the wrong direction
#108
onewayfunc
closed
1 year ago
0
Sync with ark-algebra: change the location of `BitIteratorBE`
#107
onewayfunc
closed
1 year ago
3
Short Weierstrass `G1Var::new_input` behaves differently from `G1::to_field_elements`
#106
nulltea
opened
1 year ago
0
Relocate Univariate Domain, Vanishing Polynomial, Lagrange Interpolation
#105
weikengchen
opened
1 year ago
1
`identity` -> `zero` for `Affine`
#104
Pratyush
closed
2 years ago
0
Montgomery cannot use TE affine as intermediate representations
#103
weikengchen
closed
2 years ago
0
Fix dangling batch normalization for twisted Edwards curves
#102
weikengchen
closed
2 years ago
1
Fix `is_zero` for twisted Edwards curves
#101
weikengchen
closed
2 years ago
0
Naming of NonNativeFieldVar and its future usage on Fq2, Fq3, Fq4, Fq6, Fq12
#100
weikengchen
closed
8 months ago
0
Interchangeability of NonNativeFieldVar and FpVar for FieldVar
#99
weikengchen
opened
2 years ago
1
NonNativePointVar, or Point Simulation
#98
weikengchen
opened
2 years ago
0
Next