 Ian Goldberg
|
4641a3cabc
Allow statements that are equality of a public Scalar variable to a public Scalar expression.
|
4 달 전 |
|
Ian Goldberg
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
4 달 전 |
|
Ian Goldberg
|
d21bea09f9
Flip multiplications around to suit sigma_rs
|
4 달 전 |
|
Ian Goldberg
|
b2d950a090
The underlying sigma-rs crate supports scalar_var * scalar_const but not the other way around, so change the tests to do that
|
4 달 전 |
|
Ian Goldberg
|
b5fc2df4c9
prove() and verify() now take a session id as an additional argument
|
4 달 전 |
|
Ian Goldberg
|
90da138200
prove() will require an RNG that is an impl CryptoRng + RngCore
|
4 달 전 |
|
Ian Goldberg
|
28e485e5ed
Add a test using public Scalars
|
4 달 전 |
