This page shows current available Rust blockchain jobs. To post your position here, please submit a PR to the RiB GitHub. Anon | Africa, Remote Rust Developer arkworks | Remote Co-maintainer Aurora | Remote Senior Rust Engineer Site Reliability Engineer with Go Axiom | Remote, US hours Software Engineer Bolt Labs | US, Remote Software Engineer Senior Software Engineer Blockchain Engineer DEX Labs | Remote Rust Engineer DFINITY | Zurich, Switzerland; Remote within US| rustinblockchain.org
May 2022| rustinblockchain.org
We introduce a new approach to realize incrementally verifiable computation (IVC), in which the prover recursively proves the correct execution of incremental computations of the form $y=F^{(\ell)}(x)$, where $F$ is a (potentially non-deterministic) computation, $x$ is the input, $y$ is the output, and $\ell > 0$. Unlike prior approaches to realize IVC, our approach avoids succinct non-interactive arguments of knowledge (SNARKs) entirely and arguments of knowledge in general. Instead, we intr...| IACR Cryptology ePrint Archive