Ryan Orendorff
95721487a8
Mixed bounds in logproof ( #276 )
...
This enables some small performance increase for smaller proofs (up to approximately 75%). Additionally this enables the prover and verifier to agree on which components may or may not be interesting by specifying a
bounds of zero.
2023-07-07 12:37:12 -06:00
rickwebiii
1089e00d1b
Separate OpenCL shaders into multiple files ( #239 )
...
* Separate OpenCL shaders into multiple files
2023-05-12 17:06:53 -07:00
rickwebiii
48ebc52576
Rweber/zkp ( #211 )
...
Metal GPU accelerated scalar multiplication
2023-02-16 14:31:55 -08:00
rickwebiii
3cdd0a5193
Add chaining docs ( #177 )
...
* Port over docs changes from docs-preliminary
* Fix casing and typos
* Fix failing docs tests
2022-10-17 14:34:45 -07:00
rickwebiii
4bbd0e4388
Add invariant noise ( #166 )
2022-08-08 12:26:34 -07:00
rickwebiii
0b86d5dfad
Rweber/model ( #161 )
...
Add support for noise models in determining parameter selection
2022-07-22 15:56:39 +01:00
Rick Weber
48301f780f
WIP
2022-04-21 23:39:54 -07:00
Rick Weber
568194c7d9
Fractional WIP
2022-01-13 12:55:31 -08:00
Rick Weber
87d1505409
Pack integers into multiple coefficients, encoders are dead.
2021-12-08 19:38:19 -08:00
Rick Weber
ebc7fdb880
Remove encoders WIP
2021-12-08 17:15:58 -08:00
Rick Weber
abc799e421
Relin out of band
2021-11-09 13:42:47 -08:00