| Document Date: 2015-05-06 17:25:45
Open Document File Size: 161,89 KBShare Result on Facebook
Company Microsoft / / IndustryTerm improved cryptographic protocol / Cluster computing / cryptographic protocols / unsound protocol / verification algorithm / verifiable computation protocol / asymmetric / symmetric pairing / / Person Bryan Parno / / Product Franklin / / PublishedMedium Theoretical Computer Science / Cryptology ePrint Archive / / Technology verification algorithm / Identity-based encryption / SDH / PDH / RAM / improved cryptographic protocol / unsound protocol / modified protocol / 2 Protocol / Pinocchio verifiable computation protocol / Pinocchio protocol / /
SocialTag |
A Note on the Unsoundness of vnTinyRAM’s SNARK Bryan Parno Microsoft Research Abstract F’s inputs and outputs, if and only if there exist coefficients