Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384471497> ?p ?o ?g. }
- W4384471497 endingPage "175" @default.
- W4384471497 startingPage "154" @default.
- W4384471497 abstract "Abstract Zero Knowledge Proofs (ZKPs) are cryptographic protocols by which a prover convinces a verifier of the truth of a statement without revealing any other information. Typically, statements are expressed in a high-level language and then compiled to a low-level representation on which the ZKP operates. Thus, a bug in a ZKP compiler can compromise the statement that the ZK proof is supposed to establish. This paper takes a step towards ZKP compiler correctness by partially verifying a field-blasting compiler pass, a pass that translates Boolean and bit-vector logic into equivalent operations in a finite field. First, we define correctness for field-blasters and ZKP compilers more generally. Next, we describe the specific field-blaster using a set of encoding rules and define verification conditions for individual rules. Finally, we connect the rules and the correctness definition by showing that if our verification conditions hold, the field-blaster is correct. We have implemented our approach in the CirC ZKP compiler and have proved bounded versions of the corresponding verification conditions. We show that our partially verified field-blaster does not hurt the performance of the compiler or its output; we also report on four bugs uncovered during verification." @default.
- W4384471497 created "2023-07-17" @default.
- W4384471497 creator A5003256269 @default.
- W4384471497 creator A5026961968 @default.
- W4384471497 creator A5058178559 @default.
- W4384471497 creator A5062208593 @default.
- W4384471497 date "2023-01-01" @default.
- W4384471497 modified "2023-09-26" @default.
- W4384471497 title "Bounded Verification for Finite-Field-Blasting" @default.
- W4384471497 cites W1553511155 @default.
- W4384471497 cites W2003164052 @default.
- W4384471497 cites W2006731094 @default.
- W4384471497 cites W2023035194 @default.
- W4384471497 cites W2040856861 @default.
- W4384471497 cites W2079913403 @default.
- W4384471497 cites W2098843110 @default.
- W4384471497 cites W2100818808 @default.
- W4384471497 cites W2134087751 @default.
- W4384471497 cites W2144540543 @default.
- W4384471497 cites W2144752539 @default.
- W4384471497 cites W2148662736 @default.
- W4384471497 cites W2169657197 @default.
- W4384471497 cites W2252150191 @default.
- W4384471497 cites W2294599249 @default.
- W4384471497 cites W2410327772 @default.
- W4384471497 cites W2499439414 @default.
- W4384471497 cites W2507651339 @default.
- W4384471497 cites W2566098178 @default.
- W4384471497 cites W2765986519 @default.
- W4384471497 cites W2794848620 @default.
- W4384471497 cites W2911450990 @default.
- W4384471497 cites W2912784218 @default.
- W4384471497 cites W2948043589 @default.
- W4384471497 cites W2968027060 @default.
- W4384471497 cites W2969652480 @default.
- W4384471497 cites W2982474429 @default.
- W4384471497 cites W3042014029 @default.
- W4384471497 cites W3141160751 @default.
- W4384471497 cites W3155680838 @default.
- W4384471497 cites W3164004581 @default.
- W4384471497 cites W3169419954 @default.
- W4384471497 cites W3173823616 @default.
- W4384471497 cites W4206841187 @default.
- W4384471497 cites W4225409672 @default.
- W4384471497 cites W4247332426 @default.
- W4384471497 cites W4250846042 @default.
- W4384471497 cites W4253795631 @default.
- W4384471497 cites W4288057723 @default.
- W4384471497 cites W4312884376 @default.
- W4384471497 cites W4313270705 @default.
- W4384471497 doi "https://doi.org/10.1007/978-3-031-37709-9_8" @default.
- W4384471497 hasPublicationYear "2023" @default.
- W4384471497 type Work @default.
- W4384471497 citedByCount "0" @default.
- W4384471497 crossrefType "book-chapter" @default.
- W4384471497 hasAuthorship W4384471497A5003256269 @default.
- W4384471497 hasAuthorship W4384471497A5026961968 @default.
- W4384471497 hasAuthorship W4384471497A5058178559 @default.
- W4384471497 hasAuthorship W4384471497A5062208593 @default.
- W4384471497 hasBestOaLocation W43844714971 @default.
- W4384471497 hasConcept C108710211 @default.
- W4384471497 hasConcept C134306372 @default.
- W4384471497 hasConcept C159718280 @default.
- W4384471497 hasConcept C169590947 @default.
- W4384471497 hasConcept C199360897 @default.
- W4384471497 hasConcept C202444582 @default.
- W4384471497 hasConcept C206880738 @default.
- W4384471497 hasConcept C2524010 @default.
- W4384471497 hasConcept C33923547 @default.
- W4384471497 hasConcept C34388435 @default.
- W4384471497 hasConcept C41008148 @default.
- W4384471497 hasConcept C55439883 @default.
- W4384471497 hasConcept C80444323 @default.
- W4384471497 hasConcept C9652623 @default.
- W4384471497 hasConceptScore W4384471497C108710211 @default.
- W4384471497 hasConceptScore W4384471497C134306372 @default.
- W4384471497 hasConceptScore W4384471497C159718280 @default.
- W4384471497 hasConceptScore W4384471497C169590947 @default.
- W4384471497 hasConceptScore W4384471497C199360897 @default.
- W4384471497 hasConceptScore W4384471497C202444582 @default.
- W4384471497 hasConceptScore W4384471497C206880738 @default.
- W4384471497 hasConceptScore W4384471497C2524010 @default.
- W4384471497 hasConceptScore W4384471497C33923547 @default.
- W4384471497 hasConceptScore W4384471497C34388435 @default.
- W4384471497 hasConceptScore W4384471497C41008148 @default.
- W4384471497 hasConceptScore W4384471497C55439883 @default.
- W4384471497 hasConceptScore W4384471497C80444323 @default.
- W4384471497 hasConceptScore W4384471497C9652623 @default.
- W4384471497 hasLocation W43844714971 @default.
- W4384471497 hasOpenAccess W4384471497 @default.
- W4384471497 hasPrimaryLocation W43844714971 @default.
- W4384471497 hasRelatedWork W1538072621 @default.
- W4384471497 hasRelatedWork W1590308900 @default.
- W4384471497 hasRelatedWork W2002816392 @default.
- W4384471497 hasRelatedWork W2128718940 @default.
- W4384471497 hasRelatedWork W2461166840 @default.
- W4384471497 hasRelatedWork W2579160749 @default.
- W4384471497 hasRelatedWork W3119305140 @default.