| .. |
|
basic.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
hace 4 meses |
|
disj.rs
|
0cba256b25
Fix name of one test
|
hace 3 meses |
|
dl.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
hace 4 meses |
|
notequals.rs
|
7d1cf334ed
Implement not-equals statements
|
hace 4 meses |
|
pubscalars.rs
|
4641a3cabc
Allow statements that are equality of a public Scalar variable to a public Scalar expression.
|
hace 4 meses |
|
range.rs
|
3adab6c783
Change the nomenclature of "params" to "instance" to match the sigma_rs crate
|
hace 4 meses |
|
simple_or.rs
|
b62dfc2a67
Add a simple test for OR proofs
|
hace 3 meses |
|
subtract.rs
|
daa01f805a
Add a test for subtracting a constant from a Scalar
|
hace 3 meses |