4 ms·
Would there be a way to make a Proof of Infra algorithm using zk proofs? e.g. to prove that some blockchain nodes ran a set of data through a particular infra
by johnsimer 5y ago
Would there be a way to make a Proof of Infra algorithm using zk proofs?
e.g. to prove that some blockchain nodes ran a set of data through a particular infra setup (e.g. a bunch of language arbitrary Lambdas, SQS queues etc. defined in cloudformation or terraform).
- aboodman 5y agoNo it has to be a pure function with no reference to outside systems, and the function has to be in the complexity class np.