Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
6
Program languages
7
Licenses
2
1-2 of 2
Logo for oraqle

oraqle

Oraqle: A Depth-Aware Secure Computation Compiler

  • arithmetization
  • compiler
  • cryptography
  • + 1
  • (C++)
  • ("Jupyter Notebook")
  • (Markdown)
  • + 4
1
2
Logo for Programs to evaluate superoptimizer STOKE.

Programs to evaluate superoptimizer STOKE.

Programs to evaluate superoptimizer STOKE.

  • compiler
  • optimization
  • stochastic
    1
    0