ZKP15.3 Formal Methods in ZK (Part II)

本文主要是介绍ZKP15.3 Formal Methods in ZK (Part II)，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

ZKP学习笔记

ZK-Learning MOOC课程笔记

Lecture 15: Secure ZK Circuits via Formal Methods (Guest Lecturer: Yu Feng (UCSB & Veridise))

15.3 Formal Methods in ZK (Part II)

• Formally prove that a circuit is NOT underconstrained

• Existing Strategies

  • Static Analysis of Constraints (SA): false positive
  • SMT Solver: hard to scale for large circuit
    

• Picus
  

  • Static Analysis Phase
    

  • SMT Phase
    

• Future Directions
  

这篇关于ZKP15.3 Formal Methods in ZK (Part II)的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---