Files
Sunscreen/.vscode/settings.json
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

23 lines
520 B
JSON

{
"debug.allowBreakpointsEverywhere": true,
"cSpell.words": [
"Bincode",
"ciphertext",
"ciphertexts",
"Iliashenko",
"petgraph",
"println",
"relinearization",
"relinearizations",
"relinearize",
"struct",
"usize",
"Walkthrough",
"Xeon"
],
"OpenCL.server.buildOptions": [
"-I", "${workspaceFolder}/sunscreen_math/src/opencl_impl/shaders/include"
],
"OpenCL.server.deviceID": 124252029
}