Files
concrete/docs/dev/compilation/optimizer.md
2023-07-13 14:33:54 +02:00

247 B

TODO

  • Introduce crypto parameters

  • Explain how they are searched (input representation / noise/cost model / strategy / link with lattice-estimator)

  • Explain output guaranty (correctness / security) and cost

  • Optional: how to use it in CLI