Sam Tay
d2dfd45347
Misc updates from linked-docs ( #364 )
2024-03-01 01:47:49 +00:00
Sam Tay
20c3b1a09a
Add fresh encoding constraints ( #356 )
...
Co-authored-by: Ryan Orendorff <12442942+ryanorendorff@users.noreply.github.com >
2024-02-22 21:36:15 -05:00
Sam Tay
cb20e8d030
Decrypt statements ( #348 )
2024-02-20 22:55:49 +00:00
Sam Tay
e9125df70d
Allow insecure params for tests ( #344 )
2024-02-11 16:03:00 -05:00
Sam Tay
b0df5e7c37
Expose symmetric encryptions ( #343 )
2024-02-11 15:14:57 +00:00
Sam Tay
18ea59b542
Proof linking ( #339 )
2024-02-03 20:01:24 +00:00
Sam Tay
94b7d0bd31
Generating SDLP for BFV statements ( #337 )
2024-01-17 18:22:47 +00:00
Ryan Orendorff
bc7cfb2ce2
Linked prove and verify functions ( #328 )
2023-10-25 16:20:20 -06:00
Ryan Orendorff
f341e89d02
Remove unused imports ( #331 )
2023-10-25 14:42:51 -06:00
Ryan Orendorff
5ac9ad4e46
SDLP commit to w_shared ( #329 )
2023-10-20 16:10:12 +00:00
Ryan Orendorff
85f68eb3ce
SDLP and R1CS BP shared inputs ( #324 )
2023-10-18 16:16:46 -06:00
rickwebiii
59da8edb8c
Rweber/asserts ( #326 )
2023-10-18 12:59:30 -07:00
Ryan Orendorff
82a7f2b801
Address clippy comments ( #325 )
2023-10-17 16:52:09 -06:00
rickwebiii
f6131d47c8
Rweber/zint ( #317 )
2023-09-19 15:11:41 -07:00
rickwebiii
08fbebf5ea
Rweber/zq ( #313 )
...
Replace ark-ff in logproof with Sunscreen Ring traits.
2023-09-12 00:03:08 +00:00
Sam Tay
d9f64f4283
Bump all versions to 0.8.1 ( #314 )
2023-09-11 21:39:56 +00:00
Sam Tay
cbbe0bafbe
Bump all versions to 0.8.0 ( #305 )
2023-08-22 19:40:54 -04:00
Ryan Orendorff
c0ef426ca0
Export components used in BFV, prove BFV is valid in SDLP ( #285 )
2023-08-10 12:13:29 -06:00
rickwebiii
641bf96bd4
Rweber/deps ( #295 )
...
Move all deps to [workspace.dependencies]
2023-08-04 17:23:06 -07:00
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
Ryan Orendorff
300c5eb019
Fix assert_poly_expansion for k > 1 ( #275 )
...
* Fix assert_poly_expansion for k > 1
The polynomial expansion was using a flattened tensor product when a normal kronecker product should have been used. This fixes that error.
As a consequence, it is now also possible to create a matrix from a
vector of vectors. This was implemented to make it easier to create the test cases for k > 1.
2023-07-07 11:52:32 -06:00
Ryan Orendorff
a91c7291fb
Add CSV stdout for logproof bench ( #274 )
2023-07-06 10:36:27 -06:00
Ryan Orendorff
8d9af63de0
Fix bounds (b, b_1, b_2) on logproof ( #262 )
...
The prior bounds for the short discrete log proof were not quite
accurate for some inputs. Specifically, the following changes were made
to match the paper:
- b: log2(B) + 1 -> ⌈log2(B)⌉ + 1
- b₁: log2(mdB + d||f||_inf) -> ⌈log2(mdB + d||f||_inf)⌉
- b₂ log2(q) + 1 -> ⌈log2(q)⌉
Specifically, b₂ was correct unless q was a power of 2, which
essentially never happens in practice.
2023-06-27 10:35:08 -07:00
Ryan Orendorff
c7052bbfda
Build to_2s_complement by individual elements. ( #264 )
...
This change is a no-op on the result; it is a precursor to having
bounds that can vary on each element in the input array.
2023-06-26 19:42:51 -07:00
Sam Tay
c2ad1138c2
Fix broken doc links ( #252 )
...
* Fix broken doc links
* Fail CI on api doc warnings
* Fix broken api docs
2023-06-12 12:46:08 -07:00
rickwebiii
ee5d6d9cdc
Rweber/cuda ( #235 )
...
CUDA implementation
2023-04-10 19:54:24 +01:00
rickwebiii
1ba1419691
Rweber/perf ( #234 )
...
Use Bulletproofs optimization section 3.1
2023-04-02 15:55:30 +01:00
rickwebiii
06e9c1cb2b
Rweber/opencl ( #230 )
...
OpenCL implementation of curve25519 operations
2023-03-22 14:30:45 -07:00
rickwebiii
ad17d5ca03
specify poly degree ( #222 )
2023-03-08 17:03:56 -08:00
rickwebiii
d29f18fbee
Rweber/zkp ( #221 )
...
* Speed up scalar inversion, move linear relation to criterion benchmark
2023-03-08 16:29:26 -08:00
rickwebiii
55dfdda88c
Rweber/zkp ( #220 )
...
WebGPU implementation WIP
2023-03-05 16:39:31 -08:00
rickwebiii
6604afbf95
ZKP array inputs ( #217 )
...
* ZKP array inputs
2023-03-01 13:33:14 -08:00
rickwebiii
745b9b6996
Rweber/zkp ( #216 )
...
* GPU accelerate Scalar inversion
* CPU-GPU work sharing
2023-02-28 09:16:07 -08:00
rickwebiii
ee830d6d70
Rweber/zkp ( #215 )
...
Bring logproofs into monorepo
2023-02-17 14:44:03 -08:00
