An efficient zk compiler from simd circuits to general circuits

HIGHLIGHTS

• What: The authors propose a generic that can convert any (ZK) for SIMD to efficiently and an extension that can preserve the space complexity of the systems. The authors propose a functionality that extends the SIMD-ZK functionality FSIMDZK and denote it as FeSIMDZK. Based on the extended SIMD-ZK, the authors design a SIMD compiler that allows a wide spectrum of SIMD-ZK to work for general circuits. To relax the memory overhead, the authors propose a framework for memory bounded provers to prove the correctness of large statements.
• Who: Dung Bui from the . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.