Search Results - Liang, Boxuan
- Showing 1 - 1 results of 1
-
1
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs Autoría: Yang, Qizhe, Liang, Boxuan, Chen, Hao, Li, Guoqiang
Published 2024Fuente: arXivTipo de material: PreprintAcceso al recurso