Melior, Verifiable Mixed-Integer Programming via zkSNARKs
Wenjie Qu, Yanze Jiang, Yanpei Guo, Jiaheng Zhang
2026年份
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Multi-theorem Designated-Verifier NIZK for QMAOmri ShmueliCRYPTO 2021 · 被引用 9 次
- Low-Bandwidth Mixed Arithmetic in VOLE-Based ZK from Low-Degree PRGsAmit Agarwal, Carsten Baum, Lennart Braun, Peter SchollEUROCRYPT 2025 · 被引用 2 次
- Formal Verification of Circuit-Soundness in zkWasm, a General Purpose zkVMVilhelm Sjöberg, Roger Bai, Hao Chen, Xifeng Jin 等CCS 2026
- ZENO: A Type-based Optimization Framework for Zero Knowledge Neural Network InferenceBoyuan Feng, Zheng Wang, Yuke Wang, Shu Yang 等ASPLOS 2024 · 被引用 13 次
- xJsnark: A Framework for Efficient Verifiable ComputationAhmed E. Kosba, Charalampos Papamanthou, Elaine ShiS&P 2018 · 被引用 121 次
