Awesome System Papers Wiki

标签: verifiable-computation

此标签下有1条笔记。

  • 2026年9月14日

    paper-osdi26-destefano

    • succinct-proofs
    • numerical-computation
    • arithmetization
    • verifiable-computation
    • approximate-arithmetic

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community