![Probabilistic complexity theory / IP / Probabilistically checkable proof / NP / Vector space / Soundness / MAX-3SAT / Algebra / Mathematics / Theoretical computer science Probabilistic complexity theory / IP / Probabilistically checkable proof / NP / Vector space / Soundness / MAX-3SAT / Algebra / Mathematics / Theoretical computer science](https://www.pdfsearch.io/img/8e59e456d0194731ae00314f8d591d29.jpg)
| Document Date: 2013-03-10 19:40:43 Open Document File Size: 490,90 KBShare Result on Facebook
City Austin / Prague / / Company GPU / Lb Lc / Microsoft / NVIDIA / / Country Czech Republic / / Currency USD / / Event FDA Phase / / Facility University of Texas / GMP library / / / IndustryTerm equivalent interactive protocol / linear commitment protocol / secure systems / commitment protocol / machinery / outer product / verification protocol / constructed protocols / argument systems / remote server / outer products / verified computation protocols / level solution / randomized verification algorithm / naive applications / computing / cloud computing / cryptographic machinery / scientific computing / verification machinery / / Organization University of Texas at Austin / / Person Benjamin Braun / Michael Walfish / Ginger Figure / Ai / Zaatar / Andrew J. Blumberg / V. Then / V / Ginger Ginger Ginger / Bryan Parno / Victor Vu / / Position model / general systems questions / cost model of Ginger / / Product Quadro FX 5800 GPUs / ElGamal / these / V1 / / ProgrammingLanguage Java / Python / C++ / / ProvinceOrState Texas / / Technology RAM / Xeon processor / hand-tailored protocols / commitment protocol / The protocol / verified computation protocols / Ginger protocol / equivalent interactive protocol / Zaatar protocol / linear commitment protocol / encryption / cryptography / Java / IKO protocol / verification protocol / PCP protocol / randomized verification algorithm / manually constructed protocols / stream cipher / /
SocialTag |