 Ian Goldberg
|
f9832a0cb8
Refactor some code to generate TokenStreams of arithmetic possibly involving vectors
|
преди 9 месеца |
|
Ian Goldberg
|
1de1cc05c4
Improving support for vector variables
|
преди 9 месеца |
|
Ian Goldberg
|
ac2972bd57
basic vector operations test
|
преди 9 месеца |
|
Ian Goldberg
|
70172afea4
A few more tests
|
преди 9 месеца |
|
Ian Goldberg
|
b61068d3c6
Fix copy and paste error
|
преди 9 месеца |
|
Ian Goldberg
|
a8f0aafb21
Simplify the pubscalars_or test
|
преди 9 месеца |
|
Ian Goldberg
|
03863987ce
Update to match new ComposedWitness::Or API
|
преди 9 месеца |
|
Ian Goldberg
|
71e26c7813
typo in docs
|
преди 9 месеца |
|
Ian Goldberg
|
9e406c5a26
format
|
преди 9 месеца |
|
Ian Goldberg
|
c4c86e28d1
In a disjunction branch, convert statements about equality of public Scalars to statements about equality of public Points by multiplying each side by a generator
|
преди 9 месеца |
|
Ian Goldberg
|
26db0ee8a2
Allow the left side of linear combination statements to be expressions evaluating to a public Point
|
преди 9 месеца |
|
Ian Goldberg
|
0a650e4647
cargo fmt
|
преди 9 месеца |
|
Ian Goldberg
|
0c7e495a76
Only emit code to check consistency of substitutions if we're in the root disjunction branch
|
преди 9 месеца |
|
Ian Goldberg
|
9e77a03656
Match new sigma-rs API for ComposedWitness::Or
|
преди 9 месеца |
|
Ian Goldberg
|
1921172a30
Change "neg" to "negate" on the pedersen.rs structs
|
преди 9 месеца |
|
Ian Goldberg
|
4cf84287f5
If there was already a Pedersen commitment the disjunction invariant enforcer is reusing, use the generators in that commitment
|
преди 9 месеца |
|
Ian Goldberg
|
3afe7905b0
Use the new ComposedRelation::into_nizk API
|
преди 9 месеца |
|
Ian Goldberg
|
0e223e7e2d
Fix cargo doc
|
преди 9 месеца |
 Michele Orrù
|
6d13649911
fix: update refactor
|
преди 10 месеца |
|
Ian Goldberg
|
d53e48aec4
The sigma-rs API changed ShakeCodec to Shake128DuplexSponge
|
преди 10 месеца |
|
Ian Goldberg
|
839d55ae69
A test for public statements
|
преди 10 месеца |
|
Ian Goldberg
|
5206220822
Allow statements like C = a*B where a is a _public_ Scalar
|
преди 10 месеца |
|
Ian Goldberg
|
df27e5d5a2
The sigma-rs API changed NISigmaProtocol to Nizk
|
преди 10 месеца |
|
Ian Goldberg
|
e962e20a27
cargo fmt
|
преди 10 месеца |
|
Ian Goldberg
|
1697b5a234
Explicitly reject substitutions with invalid arithmetic expressions
|
преди 10 месеца |
|
Ian Goldberg
|
aa81399d1a
Update tests to match new subtraction code
|
преди 10 месеца |
|
Ian Goldberg
|
6d732299ca
Always implement subtraction as adding a negation when generating an Expr
|
преди 10 месеца |
|
Ian Goldberg
|
75f59c2be5
Remove unused "use" in subtract test
|
преди 10 месеца |
|
Ian Goldberg
|
a9175aa83e
Allow calling neg() in the sigma-rs generated code
|
преди 10 месеца |
|
Ian Goldberg
|
daa01f805a
Add a test for subtracting a constant from a Scalar
|
преди 10 месеца |
