Proof of All: Verifiable Computation in a Nutshell | Paper Citation Record

Observation 2831b3e0-d146-42bb-91bf-d9153ace81ed · outbound

This paper cites We can think of income tax statements, for example, where a citizen is trying to perform tax evasion by submitting false claims regarding his income.

Proof of All: Verifiable Computation in a Nutshell We can think of income tax statements, for example, where a citizen is trying to perform tax evasion by submitting false claims regarding his income

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.443308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c52a4a6-a487-4c45-81c0-8300a2e19411 · outbound

This paper cites To allow a Prover to make such a privacy-friendly claim, we need to somehow “hide” our computation’s inputs (i.e.

Proof of All: Verifiable Computation in a Nutshell To allow a Prover to make such a privacy-friendly claim, we need to somehow “hide” our computation’s inputs (i.e

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.454197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ee35f2d-9b47-4dbb-bfa4-d3e935831c9f · outbound

This paper cites Capture The Flag.

Proof of All: Verifiable Computation in a Nutshell Capture The Flag

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.462776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d1036a7-7d08-4acc-b961-d27dfff687b5 · outbound

This paper cites 1.5); but keep in mind that it reduces our perfect zero-knowledge scheme to a computational zero-knowledge scheme.

Proof of All: Verifiable Computation in a Nutshell 1.5); but keep in mind that it reduces our perfect zero-knowledge scheme to a computational zero-knowledge scheme

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.575762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 451d4f36-c060-45a5-ba38-9ced2d796c4f · outbound

This paper cites This can be useful in very simple scenarios where we just want to check whether each element of a list lies within a given domain.

Proof of All: Verifiable Computation in a Nutshell This can be useful in very simple scenarios where we just want to check whether each element of a list lies within a given domain

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.472763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2ed620e-814e-4ffb-be57-4087a1a6cc19 · outbound

This paper cites probabilistic checks.

Proof of All: Verifiable Computation in a Nutshell probabilistic checks

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.480297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a2e1ab8-1115-4cb6-a350-cc94de1c4bf3 · outbound

This paper cites In the given 2POLY problem this is not possible because the lists are given as is, but within the STARK context the polynomials actually relate to execution traces.

Proof of All: Verifiable Computation in a Nutshell In the given 2POLY problem this is not possible because the lists are given as is, but within the STARK context the polynomials actually relate to execution traces

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.490411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04cc4bb4-be0e-4b9f-91ee-ea9858782317 · outbound

This paper cites To do this, we can simply have the Prover give polynomial evaluations over a domain that is much larger than their degree, and this easily be obtained through interpolation.

Proof of All: Verifiable Computation in a Nutshell To do this, we can simply have the Prover give polynomial evaluations over a domain that is much larger than their degree, and this easily be obtained through interpolation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.499142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba22aa68-7d33-46b7-9099-95316580158b · outbound

This paper cites hiding” property), which is useful for the Zero-Knowledge extension discussed later. This step is the “cut.

Proof of All: Verifiable Computation in a Nutshell hiding” property), which is useful for the Zero-Knowledge extension discussed later. This step is the “cut

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.508160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55d85478-7f6b-4762-addf-6b661663157d · outbound

This paper cites This step is the “choose” part of theCut&Choose technique.

Proof of All: Verifiable Computation in a Nutshell This step is the “choose” part of theCut&Choose technique

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.524673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cebfefc-bc8f-40af-a3dc-7e7a3d6003e3 · outbound

This paper cites argument compiler.

Proof of All: Verifiable Computation in a Nutshell argument compiler

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.535634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06b0a3d4-4763-4725-bb61-81b4ddf62fcc · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.544629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b74e509-f451-4b2d-826c-9769eed5b78c · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.554684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc4f091f-6045-431c-8d97-4f8a304b67c5 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.569561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48036ffb-cd10-4c5a-8042-38e96c11d8e4 · outbound

This paper cites Babai, ‘Trading group theory for randomness’, inProceedings of the seventeenth annual acm symposium on theory of computing, 1985, pp.

Proof of All: Verifiable Computation in a Nutshell Babai, ‘Trading group theory for randomness’, inProceedings of the seventeenth annual acm symposium on theory of computing, 1985, pp

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.190267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 543e3a43-0487-47bf-887d-f23343282d5e · outbound

This paper cites the input x).

Proof of All: Verifiable Computation in a Nutshell the input x)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.581933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7adc7f94-3bfd-4ea1-a429-ebfdf5079b04 · outbound

This paper cites partial interpolation.

Proof of All: Verifiable Computation in a Nutshell partial interpolation

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.591073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f68e4caf-3628-47e9-a9d5-cbc1e10d55d9 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.596952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c4169a4-09d8-423a-be6d-9d1f930fb0fc · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.603886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90af9bd3-4ef6-4654-b7de-08d4fc1b7e8c · outbound

This paper cites composition.

Proof of All: Verifiable Computation in a Nutshell composition

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.611500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92165bbe-eda1-46be-899e-fbca70282326 · outbound

This paper cites Backes, D.

Proof of All: Verifiable Computation in a Nutshell Backes, D

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.970176Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4536dc65-47e0-43c9-83ff-3a28fad87c68 · outbound

This paper cites del Castillo, ‘Big Blockchain: The 50 Largest Public Companies Exploring Block- chain’.

Proof of All: Verifiable Computation in a Nutshell del Castillo, ‘Big Blockchain: The 50 Largest Public Companies Exploring Block- chain’

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.635204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f0c4967-3bce-45c9-b5bb-9edc5b3198eb · outbound

This paper cites Hackett, ‘Police Nab Alleged Boss Behind Bitcoin Pyramid Scheme Bitconnect’.

Proof of All: Verifiable Computation in a Nutshell Hackett, ‘Police Nab Alleged Boss Behind Bitcoin Pyramid Scheme Bitconnect’

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.649288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28b44819-2ffa-432d-8440-065d53749dcc · outbound

This paper cites https://ethresear.ch.

Proof of All: Verifiable Computation in a Nutshell https://ethresear.ch

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.656745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e542ea2-bfd3-4cb8-9231-f6fb5ff01f2d · outbound

This paper cites Goldwasser, S.

Proof of All: Verifiable Computation in a Nutshell Goldwasser, S

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.663663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a533ab47-63cc-49aa-b5f2-56d246263b25 · outbound

This paper cites Arora, C.

Proof of All: Verifiable Computation in a Nutshell Arora, C

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.677363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2260b51-7d9a-4d6e-9ec3-b2f3b4dff6af · outbound

This paper cites Arora and S.

Proof of All: Verifiable Computation in a Nutshell Arora and S

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.449497Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3c96138a-6976-4b69-9fff-c9910dff8525 · outbound

This paper cites aszl o Babai, L.

Proof of All: Verifiable Computation in a Nutshell aszl o Babai, L

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.410445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 741964d4-306b-4da4-a607-c2a6954732e8 · outbound

This paper cites in the head.

Proof of All: Verifiable Computation in a Nutshell in the head

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.619384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9905ae4f-4885-4137-8872-e544fa9ec7cd · outbound

This paper cites Babai, L.

Proof of All: Verifiable Computation in a Nutshell Babai, L

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.382731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8ab674fc-b74e-4542-866e-fac5b67b64a3 · outbound

This paper cites Ben-Sasson, A.

Proof of All: Verifiable Computation in a Nutshell Ben-Sasson, A

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.356260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 11bf2926-74d7-4223-af6a-b16647ab46ec · outbound

This paper cites Quisquater et al., ‘How to explain zero-knowledge protocols to your children’, in Advances in cryptology — crypto’ 89 proceedings, 1990, pp.

Proof of All: Verifiable Computation in a Nutshell Quisquater et al., ‘How to explain zero-knowledge protocols to your children’, in Advances in cryptology — crypto’ 89 proceedings, 1990, pp

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.313126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bb9198a7-20ec-443d-b02a-28fee8713099 · outbound

This paper cites Blum, ‘How to prove a theorem so no one else can claim it’, inProceedings of the international congress of mathematicians, 1986, vol.

Proof of All: Verifiable Computation in a Nutshell Blum, ‘How to prove a theorem so no one else can claim it’, inProceedings of the international congress of mathematicians, 1986, vol

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.291504Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 29426acf-fbc4-4409-835a-2cb11448b0b7 · outbound

This paper cites Fiat and A.

Proof of All: Verifiable Computation in a Nutshell Fiat and A

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.271913Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7b73e74f-9377-4461-9a3a-1b58c3b30832 · outbound

This paper cites Bellare and P.

Proof of All: Verifiable Computation in a Nutshell Bellare and P

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.242855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4b4c9d56-023e-4cf2-ad6e-b7305e166d87 · outbound

This paper cites ﬁat-shamir for proofs.

Proof of All: Verifiable Computation in a Nutshell ﬁat-shamir for proofs

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.212645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 22326502-c972-49e9-9d5d-65e8eb43d2af · outbound

This paper cites Babai and S.

Proof of All: Verifiable Computation in a Nutshell Babai and S

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.166443Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2dc59662-053e-4276-ba50-9b3d9ac65ada · outbound

This paper cites aszl o Babai, L.

Proof of All: Verifiable Computation in a Nutshell aszl o Babai, L

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.135764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4e479cec-6f4f-4d52-9788-b5e44aecc5b1 · outbound

This paper cites Johnson, D.

Proof of All: Verifiable Computation in a Nutshell Johnson, D

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.104271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bb1a8527-5d95-4f6e-b0e1-5712d5697632 · outbound

This paper cites Gennaro and D.

Proof of All: Verifiable Computation in a Nutshell Gennaro and D

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.067790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation df5910f5-0479-4c4d-9e81-97367cda5188 · outbound

This paper cites Fiore, A.

Proof of All: Verifiable Computation in a Nutshell Fiore, A

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:38.015457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0783358c-48f9-4f9c-867d-bb7698a1bff9 · outbound

This paper cites Sander, ‘Efﬁcient accumulators without trapdoor extended abstract’, inInterna- tional conference on information and communications security, 1999, pp.

Proof of All: Verifiable Computation in a Nutshell Sander, ‘Efﬁcient accumulators without trapdoor extended abstract’, inInterna- tional conference on information and communications security, 1999, pp

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.285293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f137fbeb-a4e6-44ff-9018-4b5a9e163cec · outbound

This paper cites Schabhüser, D.

Proof of All: Verifiable Computation in a Nutshell Schabhüser, D

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.935406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e9ea2d3d-1a64-4fd5-97fb-7e4f4010a37c · outbound

This paper cites Bertoni, J.

Proof of All: Verifiable Computation in a Nutshell Bertoni, J

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.903901Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation eb13362b-4186-4993-b7ae-ca2748e6a383 · outbound

This paper cites Boneh, J.

Proof of All: Verifiable Computation in a Nutshell Boneh, J

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.882612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c4f6caf7-c2d7-4b56-8b18-bd7d5673b962 · outbound

This paper cites Proof of All.

Proof of All: Verifiable Computation in a Nutshell Proof of All

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:34.431020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74a62c66-bafc-4a3f-ada2-ed2ebae2d3fe · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:37.856937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 69bb9521-265d-4a5b-8719-250515a73a73 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:37.832455Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c3aa4572-5689-4a6d-a65c-3b8933e3fc67 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:37.790131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c408cc6b-6e32-4ea9-a7d0-59b446f66fb3 · outbound

This paper cites Wesolowski, ‘Efﬁcient veriﬁable delay functions.’,IACR Cryptology ePrint Archive, vol.

Proof of All: Verifiable Computation in a Nutshell Wesolowski, ‘Efﬁcient veriﬁable delay functions.’,IACR Cryptology ePrint Archive, vol

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.757957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 36c5bd8c-3dec-471d-9e78-daa888093367 · outbound

This paper cites Pietrzak, ‘Simple veriﬁable delay functions’, in10th innovations in theoretical computer science conference (itcs 2019), 2018.

Proof of All: Verifiable Computation in a Nutshell Pietrzak, ‘Simple veriﬁable delay functions’, in10th innovations in theoretical computer science conference (itcs 2019), 2018

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.729127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ef5daba1-f855-4ba1-8ce7-a1cc1631585f · outbound

This paper cites Boneh, B.

Proof of All: Verifiable Computation in a Nutshell Boneh, B

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.698025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 066a8472-29ab-4d3a-9dff-da40dc0cdc29 · outbound

This paper cites Bellare and S.

Proof of All: Verifiable Computation in a Nutshell Bellare and S

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.675211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0b49dc73-02f9-4597-b70f-04fdcde07f44 · outbound

This paper cites Bellare and S.

Proof of All: Verifiable Computation in a Nutshell Bellare and S

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.632530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 73e5e707-fcee-41ae-9179-776a7be910db · outbound

This paper cites Boneh and M.

Proof of All: Verifiable Computation in a Nutshell Boneh and M

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.588754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 658211d5-304a-4a82-aab4-4334425f4902 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 56

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:37.560781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a3ed4596-ab74-4bb3-9514-c7254e96d212 · outbound

This paper cites Bonneau, J.

Proof of All: Verifiable Computation in a Nutshell Bonneau, J

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.525463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a7a07940-3d40-4f47-9762-2a578fb5a9fd · outbound

This paper cites https: //github.com/mabbamOG/traplottery, 2018.

Proof of All: Verifiable Computation in a Nutshell https: //github.com/mabbamOG/traplottery, 2018

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.485358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 434a65e4-86cb-474a-b20d-298427c6bd7f · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 59

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:37.444822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 970b2392-f147-4b6b-a10d-7fe2f9431084 · outbound

This paper cites Percival, ‘Stronger key derivation via sequential memory-hard functions’.

Proof of All: Verifiable Computation in a Nutshell Percival, ‘Stronger key derivation via sequential memory-hard functions’

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.402301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 88d75e51-a4db-4f93-9d1f-7990e51bf813 · outbound

This paper cites Wood and others, ‘Ethereum: A secure decentralised generalised transaction ledger’,Ethereum project yellow paper, vol.

Proof of All: Verifiable Computation in a Nutshell Wood and others, ‘Ethereum: A secure decentralised generalised transaction ledger’,Ethereum project yellow paper, vol

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.375711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 07f7f828-9325-4593-bfe7-61f7333f3187 · outbound

This paper cites Drake, ‘Minimal VDF randomness beacon’.

Proof of All: Verifiable Computation in a Nutshell Drake, ‘Minimal VDF randomness beacon’

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.341560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation de218b05-c2ee-4b50-8e79-1312f0ef1882 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 63

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:37.311321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bb46b7cc-001e-44bd-bd9c-7197525ec609 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 64

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:37.246361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2bbf832b-9ded-4f70-85be-fb98d7bb1240 · outbound

This paper cites Damgård, M.

Proof of All: Verifiable Computation in a Nutshell Damgård, M

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.217583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 86565bfb-c505-4ef3-a51a-7cb557a0339a · outbound

This paper cites Boneh and M.

Proof of All: Verifiable Computation in a Nutshell Boneh and M

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.177325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 07249d4f-6805-42a0-8a28-2b9116436118 · outbound

This paper cites Hopwood, S.

Proof of All: Verifiable Computation in a Nutshell Hopwood, S

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.151815Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f719da06-85fa-4ac9-9fde-cbdcaf7b061a · outbound

This paper cites Buchmann and H.

Proof of All: Verifiable Computation in a Nutshell Buchmann and H

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.114511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a67edaba-37d8-4f34-8252-0294bc8cc71b · outbound

This paper cites Biehl, J.

Proof of All: Verifiable Computation in a Nutshell Biehl, J

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.082571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 83b8ee72-c365-4d4a-81f6-cd7a384d85db · outbound

This paper cites Benhamouda, S.

Proof of All: Verifiable Computation in a Nutshell Benhamouda, S

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.053991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 0281a1a0-6657-4a97-b096-6eb9dc86cf9b · outbound

This paper cites Derler, C.

Proof of All: Verifiable Computation in a Nutshell Derler, C

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:37.021736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 09d887dd-ba9e-4206-b985-539aece4c5bc · outbound

This paper cites Ben-Sasson, I.

Proof of All: Verifiable Computation in a Nutshell Ben-Sasson, I

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.991701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f9a90767-e192-4a5a-833d-8f9295e47f1a · outbound

This paper cites https://github.com/ elibensasson/libSTARK, 2018.

Proof of All: Verifiable Computation in a Nutshell https://github.com/ elibensasson/libSTARK, 2018

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.959867Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 06f3b37c-b10f-4f62-a586-ecefa79ea635 · outbound

This paper cites Preneel, R.

Proof of All: Verifiable Computation in a Nutshell Preneel, R

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.915206Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 913796be-bb63-45d0-b1a7-680e33a548b0 · outbound

This paper cites Ben-Sasson, A.

Proof of All: Verifiable Computation in a Nutshell Ben-Sasson, A

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.871433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5e388251-f409-445e-a1da-9d6fdf16f97b · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 76

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:36.845962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 146a0fdf-e724-43d0-9d04-08ba48b54921 · outbound

This paper cites Zippel, ‘Probabilistic algorithms for sparse polynomials’, inInternational sym- posium on symbolic and algebraic manipulation, 1979, pp.

Proof of All: Verifiable Computation in a Nutshell Zippel, ‘Probabilistic algorithms for sparse polynomials’, inInternational sym- posium on symbolic and algebraic manipulation, 1979, pp

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.818942Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4c317c20-bb51-4a68-9677-f5fa851b7bfb · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 78

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:36.785169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 00a8e34c-b454-43b5-b2f4-4dea60dc9d73 · outbound

This paper cites Lin, W.-H.

Proof of All: Verifiable Computation in a Nutshell Lin, W.-H

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.756933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 75cfae7a-f172-4962-be57-4dbc63ae9cfe · outbound

This paper cites Kilian, ‘A note on efﬁcient zero-knowledge proofs and arguments’, inProceedings of the twenty-fourth annual acm symposium on theory of computing, 1992, pp.

Proof of All: Verifiable Computation in a Nutshell Kilian, ‘A note on efﬁcient zero-knowledge proofs and arguments’, inProceedings of the twenty-fourth annual acm symposium on theory of computing, 1992, pp

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.724538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8206dda1-e647-4e4d-a991-5e85d0be6bda · outbound

This paper cites Micali, ‘Computationally sound proofs’,SIAM Journal on Computing, vol.

Proof of All: Verifiable Computation in a Nutshell Micali, ‘Computationally sound proofs’,SIAM Journal on Computing, vol

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.683758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f31a6001-b3ff-449e-b303-9392ff16fcb7 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 82

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:36.654422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 02953613-b96a-4d10-a215-2f64e48e1012 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 83

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:36.613051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 61857026-1bf7-4931-8747-dbdc790ad263 · outbound

This paper cites Shamir, ‘How to share a secret’,Communications of the ACM, vol.

Proof of All: Verifiable Computation in a Nutshell Shamir, ‘How to share a secret’,Communications of the ACM, vol

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.575660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation cff96870-bbc6-4847-b7c4-ce2f873405ed · outbound

This paper cites Ben-Sasson, I.

Proof of All: Verifiable Computation in a Nutshell Ben-Sasson, I

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.549916Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d498b459-3d89-4d96-b094-7df212eea858 · outbound

This paper cites DEEP-FRI: Sampling outside the box improves soundness.

Proof of All: Verifiable Computation in a Nutshell DEEP-FRI: Sampling outside the box improves soundness

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-14T14:50:35.325436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cccdd9b-7e8b-455c-a91d-0dad5bc04603 · outbound

This paper cites Rubinfeld and M.

Proof of All: Verifiable Computation in a Nutshell Rubinfeld and M

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.509498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9a865c43-6cbb-4d60-9320-b170bd91dbd2 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 88

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:36.472801Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b611cff5-79da-455f-83a7-a4bc65ab7dd9 · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 89

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:36.419260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9e09fe55-4728-4fef-bc29-2a2269504153 · outbound

This paper cites Giacomelli, J.

Proof of All: Verifiable Computation in a Nutshell Giacomelli, J

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.384803Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b6b8e263-f5a6-47f1-86cf-e5f5811732af · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 91

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:36.361069Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a7398e60-3bf3-4d42-88b2-90b149b6a85b · outbound

This paper cites an unresolved cited work.

Proof of All: Verifiable Computation in a Nutshell Unresolved cited work

Reference 92

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:50:36.326411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1133428c-4f8a-4778-b6ff-63f812bcdb6f · outbound

This paper cites Bitansky, R.

Proof of All: Verifiable Computation in a Nutshell Bitansky, R

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.289856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f47e0880-f14e-4bc6-a4e1-f017ee22d0f5 · outbound

This paper cites Gentry and D.

Proof of All: Verifiable Computation in a Nutshell Gentry and D

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.244831Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6e7387f8-3f71-41cd-ba0c-d005a54feb9d · outbound

This paper cites Costelloet al., ‘Geppetto: Versatile veriﬁable computation’, in2015 ieee symposium on security and privacy, 2015, pp.

Proof of All: Verifiable Computation in a Nutshell Costelloet al., ‘Geppetto: Versatile veriﬁable computation’, in2015 ieee symposium on security and privacy, 2015, pp

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.196843Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bfa4dc3d-6bb9-4743-8bff-3ca9e837b431 · outbound

This paper cites Parno, J.

Proof of All: Verifiable Computation in a Nutshell Parno, J

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.153127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 500a3e26-3213-46b6-a8c1-8c5bf36c8eaa · outbound

This paper cites Groth, ‘On the size of pairing-based non-interactive arguments’, in Annual international conference on the theory and applications of cryptographic techniques, 2016, pp.

Proof of All: Verifiable Computation in a Nutshell Groth, ‘On the size of pairing-based non-interactive arguments’, in Annual international conference on the theory and applications of cryptographic techniques, 2016, pp

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.096966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7f069dd2-b1fb-447f-8255-78cb03edd1d5 · outbound

This paper cites Ben-Sasson, A.

Proof of All: Verifiable Computation in a Nutshell Ben-Sasson, A

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:36.027297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5d69e9ed-5225-4c97-bf4d-37780159083b · outbound

This paper cites Ben-Sasson, A.

Proof of All: Verifiable Computation in a Nutshell Ben-Sasson, A

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:35.977677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d0691044-66ed-45b1-96b4-b84dc71ddc36 · outbound

This paper cites Maller, S.

Proof of All: Verifiable Computation in a Nutshell Maller, S

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:50:35.922210Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers