11 Commits

Author SHA1 Message Date
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