most citedCertifying Zero-Knowledge Circuits with Refinement Types

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CR2023★ 2 cited

Certifying Zero-Knowledge Circuits with Refinement Types

Junrui Liu, Ian Kretz, Hanzhi Liu +7

Zero-knowledge (ZK) proof systems have emerged as a promising solution for building security-sensitive applications. However, bugs in ZK applications are extremely difficult to det…