Matches in SemOpenAlex for { <https://semopenalex.org/work/W4308642742> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4308642742 abstract "We study the problem of constructing succinct zero knowledge proof systems for floating point computations. The standard approach to handle floating point computations requires conversion to binary circuits, following the IEEE-754 floating point standard. This approach incurs a poly(w) overhead in prover efficiency for computations with w-bit precision, resulting in very high prover runtimes -- already the key bottleneck in the design of succinct arguments. We make the following contributions: -We propose a new model for verifying floating point computations that guarantees approximate correctness w.r.t. a relative error bound. This model is inspired by numerical analysis, and is very meaningful for applications such as machine learning and scientific computing. -Using this model, we present a general method for constructing succinct zero-knowledge proofs for floating point computations starting from existing public-coin commit-and-prove'' systems. For computations with w-bit precision, our approach incurs only a log(w) overhead in prover running time. Our compiler nearly preserves (up to a factor of 2) the communication complexity of the underlying protocol, and requires sub-linear verification time. The resulting proof can be made non-interactive in the random oracle model. Concretely, our scheme is ~57x faster than the method following IEEE standard exactly [35] for 32-bit floating point computations. Central to our main result, and of independent interest, is a new batch range proof system in standard prime order groups that does not rely on bit decomposition." @default.
- W4308642742 created "2022-11-13" @default.
- W4308642742 creator A5005453022 @default.
- W4308642742 creator A5009985076 @default.
- W4308642742 creator A5030485787 @default.
- W4308642742 creator A5089024266 @default.
- W4308642742 date "2022-11-07" @default.
- W4308642742 modified "2023-09-30" @default.
- W4308642742 title "Succinct Zero Knowledge for Floating Point Computations" @default.
- W4308642742 cites W1494775996 @default.
- W4308642742 cites W1970808997 @default.
- W4308642742 cites W2037038460 @default.
- W4308642742 cites W2043007983 @default.
- W4308642742 cites W2049982182 @default.
- W4308642742 cites W2071520502 @default.
- W4308642742 cites W2169004268 @default.
- W4308642742 cites W2612871929 @default.
- W4308642742 cites W2768174108 @default.
- W4308642742 cites W2954625838 @default.
- W4308642742 cites W2964279767 @default.
- W4308642742 cites W2990120385 @default.
- W4308642742 cites W3015343560 @default.
- W4308642742 cites W3023964980 @default.
- W4308642742 cites W3164127247 @default.
- W4308642742 cites W3214716770 @default.
- W4308642742 cites W41098585 @default.
- W4308642742 cites W4300889023 @default.
- W4308642742 doi "https://doi.org/10.1145/3548606.3560653" @default.
- W4308642742 hasPublicationYear "2022" @default.
- W4308642742 type Work @default.
- W4308642742 citedByCount "1" @default.
- W4308642742 countsByYear W43086427422023 @default.
- W4308642742 crossrefType "proceedings-article" @default.
- W4308642742 hasAuthorship W4308642742A5005453022 @default.
- W4308642742 hasAuthorship W4308642742A5009985076 @default.
- W4308642742 hasAuthorship W4308642742A5030485787 @default.
- W4308642742 hasAuthorship W4308642742A5089024266 @default.
- W4308642742 hasBestOaLocation W43086427421 @default.
- W4308642742 hasConcept C108710211 @default.
- W4308642742 hasConcept C111919701 @default.
- W4308642742 hasConcept C11413529 @default.
- W4308642742 hasConcept C133095886 @default.
- W4308642742 hasConcept C137231763 @default.
- W4308642742 hasConcept C148730421 @default.
- W4308642742 hasConcept C149635348 @default.
- W4308642742 hasConcept C159718280 @default.
- W4308642742 hasConcept C169590947 @default.
- W4308642742 hasConcept C173608175 @default.
- W4308642742 hasConcept C199360897 @default.
- W4308642742 hasConcept C203062551 @default.
- W4308642742 hasConcept C2524010 @default.
- W4308642742 hasConcept C2779960059 @default.
- W4308642742 hasConcept C2780513914 @default.
- W4308642742 hasConcept C33923547 @default.
- W4308642742 hasConcept C41008148 @default.
- W4308642742 hasConcept C45374587 @default.
- W4308642742 hasConcept C55439883 @default.
- W4308642742 hasConcept C80444323 @default.
- W4308642742 hasConcept C84211073 @default.
- W4308642742 hasConcept C94284585 @default.
- W4308642742 hasConceptScore W4308642742C108710211 @default.
- W4308642742 hasConceptScore W4308642742C111919701 @default.
- W4308642742 hasConceptScore W4308642742C11413529 @default.
- W4308642742 hasConceptScore W4308642742C133095886 @default.
- W4308642742 hasConceptScore W4308642742C137231763 @default.
- W4308642742 hasConceptScore W4308642742C148730421 @default.
- W4308642742 hasConceptScore W4308642742C149635348 @default.
- W4308642742 hasConceptScore W4308642742C159718280 @default.
- W4308642742 hasConceptScore W4308642742C169590947 @default.
- W4308642742 hasConceptScore W4308642742C173608175 @default.
- W4308642742 hasConceptScore W4308642742C199360897 @default.
- W4308642742 hasConceptScore W4308642742C203062551 @default.
- W4308642742 hasConceptScore W4308642742C2524010 @default.
- W4308642742 hasConceptScore W4308642742C2779960059 @default.
- W4308642742 hasConceptScore W4308642742C2780513914 @default.
- W4308642742 hasConceptScore W4308642742C33923547 @default.
- W4308642742 hasConceptScore W4308642742C41008148 @default.
- W4308642742 hasConceptScore W4308642742C45374587 @default.
- W4308642742 hasConceptScore W4308642742C55439883 @default.
- W4308642742 hasConceptScore W4308642742C80444323 @default.
- W4308642742 hasConceptScore W4308642742C84211073 @default.
- W4308642742 hasConceptScore W4308642742C94284585 @default.
- W4308642742 hasLocation W43086427421 @default.
- W4308642742 hasOpenAccess W4308642742 @default.
- W4308642742 hasPrimaryLocation W43086427421 @default.
- W4308642742 hasRelatedWork W1523338383 @default.
- W4308642742 hasRelatedWork W1595597526 @default.
- W4308642742 hasRelatedWork W1997440650 @default.
- W4308642742 hasRelatedWork W2293021588 @default.
- W4308642742 hasRelatedWork W2886981100 @default.
- W4308642742 hasRelatedWork W2920530813 @default.
- W4308642742 hasRelatedWork W2989638804 @default.
- W4308642742 hasRelatedWork W3159717682 @default.
- W4308642742 hasRelatedWork W3202533652 @default.
- W4308642742 hasRelatedWork W2610280682 @default.
- W4308642742 isParatext "false" @default.
- W4308642742 isRetracted "false" @default.
- W4308642742 workType "article" @default.