External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automated Verification of Consistency in Zero-Knowledge Proof Circuits

Jon Stephens, Shankara Pailoor, Isil Dillig. Automated Verification of Consistency in Zero-Knowledge Proof Circuits. IACR Cryptology ePrint Archive, 2025:916, 2025. [doi]

Authors

Jon Stephens

This author has not been identified. Look up 'Jon Stephens' in Google

Shankara Pailoor

This author has not been identified. Look up 'Shankara Pailoor' in Google

Isil Dillig

This author has not been identified. Look up 'Isil Dillig' in Google
runs on