New efficient R1CS compilers for floating-point computations

Xi LIN; Lianglin YAN; Pengfei ZENG; Yongqiang LI; Mingsheng WANG; Huiyan CHEN

doi:10.1007/s11704-025-50899-8

Front. Comput. Sci. ›› 2027, Vol. 21 ›› Issue (4) :2104804 DOI: 10.1007/s11704-025-50899-8

Information Security

LETTER

New efficient R1CS compilers for floating-point computations

Author information +

History +

PDF (1150KB)

Graphical abstract

Cite this article

Download citation ▾

Xi LIN, Lianglin YAN, Pengfei ZENG, Yongqiang LI, Mingsheng WANG, Huiyan CHEN. New efficient R1CS compilers for floating-point computations. Front. Comput. Sci., 2027, 21(4): 2104804 DOI:10.1007/s11704-025-50899-8

登录浏览全文

4963

注册一个新账户忘记密码

References

Publishing order | Descend order by publishing year | Descend order by cited within

[1]	Ben-Sasson E, Chiesa A, Genkin D, Tromer E, Virza M. SNARKs for C: verifying program executions succinctly and in zero knowledge. In: Proceedings of the 33rd Annual Cryptology Conference on Advances in Cryptology. 2013, 90−108

[2]	Ernstberger J, Zhang C, Ciprian L, Jovanovic P, Steinhorst S. Zero-knowledge location privacy via accurate floating-point SNARKs. In: Proceedings of 2025 IEEE Symposium on Security and Privacy (SP). 2025, 3440−3459

[3]	IEEE standard for floating-point arithmetic. IEEE Std 754-2019 (Revision of IEEE 754-2008). 2019, 1−84

[4]	Garg S, Jain A, Jin Z, Zhang Y. Succinct zero knowledge for floating point computations. In: Proceedings of 2022 ACM SIGSAC Conference on Computer and Communications Security. 2022, 1203−1216

[5]	Bellare M, Goldwasser S. Verifiable partial key escrow. In: Proceedings of the 4th ACM Conference on Computer and Communications Security. 1997, 78−91

[6]	Liu X, Yang X, Wang Y, Zhang X, Yang X. Evaluate and guard the wisdom of crowds: zero knowledge proofs for crowdsourcing truth inference. 2023, arXiv preprint arXiv: 2308.00985