Matches in SemOpenAlex for { <https://semopenalex.org/work/W3029800901> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3029800901 abstract "We study decidability problems for equivalence of probabilistic programs, for a core probabilistic programming language over finite fields of fixed characteristic. The programming language supports uniform sampling, addition, multiplication and conditionals and thus is sufficiently expressive to encode boolean and arithmetic circuits. We consider two variants of equivalence: the first one considers an interpretation over the finite field Fq, while the second one, which we call universal equivalence, verifies equivalence over all extensions Fqk of Fq. The universal variant typically arises in provable cryptography when one wishes to prove equivalence for any length of bitstrings, i.e., elements of F2k for any k. While the first problem is obviously decidable, we establish its exact complexity which lies in the counting hierarchy. To show decidability, and a doubly exponential upper bound, of the universal variant we rely on results from algorithmic number theory and the possibility to compare local zeta functions associated to given polynomials. Finally we study several variants of the equivalence problem, including a problem we call majority, motivated by differential privacy." @default.
- W3029800901 created "2020-06-05" @default.
- W3029800901 creator A5057561034 @default.
- W3029800901 creator A5075577852 @default.
- W3029800901 creator A5085316790 @default.
- W3029800901 date "2020-07-08" @default.
- W3029800901 modified "2023-10-08" @default.
- W3029800901 title "Universal equivalence and majority of probabilistic programs over finite fields" @default.
- W3029800901 cites W12758337 @default.
- W3029800901 cites W1714637014 @default.
- W3029800901 cites W1797219784 @default.
- W3029800901 cites W1972600569 @default.
- W3029800901 cites W1975784724 @default.
- W3029800901 cites W1989159237 @default.
- W3029800901 cites W2014308048 @default.
- W3029800901 cites W2026258357 @default.
- W3029800901 cites W2049389441 @default.
- W3029800901 cites W2054754886 @default.
- W3029800901 cites W2069788171 @default.
- W3029800901 cites W2092230546 @default.
- W3029800901 cites W2142174533 @default.
- W3029800901 cites W2334612034 @default.
- W3029800901 cites W2498996213 @default.
- W3029800901 cites W2571169473 @default.
- W3029800901 cites W3029800901 @default.
- W3029800901 cites W42020886 @default.
- W3029800901 cites W4247052524 @default.
- W3029800901 doi "https://doi.org/10.1145/3373718.3394746" @default.
- W3029800901 hasPublicationYear "2020" @default.
- W3029800901 type Work @default.
- W3029800901 sameAs 3029800901 @default.
- W3029800901 citedByCount "4" @default.
- W3029800901 countsByYear W30298009012020 @default.
- W3029800901 countsByYear W30298009012021 @default.
- W3029800901 countsByYear W30298009012022 @default.
- W3029800901 crossrefType "proceedings-article" @default.
- W3029800901 hasAuthorship W3029800901A5057561034 @default.
- W3029800901 hasAuthorship W3029800901A5075577852 @default.
- W3029800901 hasAuthorship W3029800901A5085316790 @default.
- W3029800901 hasBestOaLocation W30298009011 @default.
- W3029800901 hasConcept C105795698 @default.
- W3029800901 hasConcept C112505250 @default.
- W3029800901 hasConcept C118615104 @default.
- W3029800901 hasConcept C153269930 @default.
- W3029800901 hasConcept C16592021 @default.
- W3029800901 hasConcept C2780069185 @default.
- W3029800901 hasConcept C33923547 @default.
- W3029800901 hasConcept C41008148 @default.
- W3029800901 hasConcept C49937458 @default.
- W3029800901 hasConcept C52370388 @default.
- W3029800901 hasConcept C77926391 @default.
- W3029800901 hasConcept C80444323 @default.
- W3029800901 hasConceptScore W3029800901C105795698 @default.
- W3029800901 hasConceptScore W3029800901C112505250 @default.
- W3029800901 hasConceptScore W3029800901C118615104 @default.
- W3029800901 hasConceptScore W3029800901C153269930 @default.
- W3029800901 hasConceptScore W3029800901C16592021 @default.
- W3029800901 hasConceptScore W3029800901C2780069185 @default.
- W3029800901 hasConceptScore W3029800901C33923547 @default.
- W3029800901 hasConceptScore W3029800901C41008148 @default.
- W3029800901 hasConceptScore W3029800901C49937458 @default.
- W3029800901 hasConceptScore W3029800901C52370388 @default.
- W3029800901 hasConceptScore W3029800901C77926391 @default.
- W3029800901 hasConceptScore W3029800901C80444323 @default.
- W3029800901 hasLocation W30298009011 @default.
- W3029800901 hasLocation W30298009012 @default.
- W3029800901 hasLocation W30298009013 @default.
- W3029800901 hasLocation W30298009014 @default.
- W3029800901 hasLocation W30298009015 @default.
- W3029800901 hasLocation W30298009016 @default.
- W3029800901 hasLocation W30298009017 @default.
- W3029800901 hasLocation W30298009018 @default.
- W3029800901 hasLocation W30298009019 @default.
- W3029800901 hasOpenAccess W3029800901 @default.
- W3029800901 hasPrimaryLocation W30298009011 @default.
- W3029800901 hasRelatedWork W1510949832 @default.
- W3029800901 hasRelatedWork W1516755858 @default.
- W3029800901 hasRelatedWork W1733262075 @default.
- W3029800901 hasRelatedWork W1974626062 @default.
- W3029800901 hasRelatedWork W1979723722 @default.
- W3029800901 hasRelatedWork W2057544562 @default.
- W3029800901 hasRelatedWork W22667845 @default.
- W3029800901 hasRelatedWork W2890034443 @default.
- W3029800901 hasRelatedWork W2907462136 @default.
- W3029800901 hasRelatedWork W2952805775 @default.
- W3029800901 isParatext "false" @default.
- W3029800901 isRetracted "false" @default.
- W3029800901 magId "3029800901" @default.
- W3029800901 workType "article" @default.