Matan Hamilis

Artificial Intelligence · 2017

A researcher in the Science corpus: 1 paper; trusts 5 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Matan Hamilis trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Eli Ben-Sasson
  2. Alessandro Chiesa

Papers from Matan Hamilis's perspective

Ordered by how strongly the researchers Matan Hamilis trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Checking computations in polylogarithmic time
  2. Quadratic Span Programs and Succinct NIZKs without PCPs
  3. Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
  4. The Knowledge Complexity of Interactive Proof Systems
  5. Making argument systems for outsourced computation practical (sometimes)
  6. Pinocchio: Nearly Practical Verifiable Computation
  7. From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
  8. Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture
  9. How to Prove Yourself: Practical Solutions to Identification and Signature Problems
  10. A note on efficient zero-knowledge proofs and arguments (extended abstract)

Their papers