Tootfinder

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai
https://arxiv.org/abs/2404.16915 …

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Zk-SNARKs help scale blockchains with Verifiable Off-chain Computations (VOC). zk-SNARK DSL toolkits are key when designing arithmetic circuits but fall short of automating the subsequent proof-generation step in an automated manner. We emphasize the need for portability, interoperability, and manageability in VOC-based solutions and introduce a Proving Service that is designed to provide a scalable and reusable solution for generating zk-SNARK proofs leveraging clouds.

Succinct, which is building zero-knowledge proof tech for blockchain apps, raised $55M led by Paradigm across a seed and a Series A (Brady Dale/Axios)
https://www.axios.com/2024/03/21/succinct-raises-43-million-cryptography-zero-kno…

Succinct raises $43 million to make cryptography easy
Zero-knowledge proof technology, or ZK, is seen as part of the roadmap to get major blockchains prepared to onboard the masses.

This https://arxiv.org/abs/2404.06495 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csGT_…

Mechanism Design for ZK-Rollup Prover Markets
In ZK-Rollups, provers spend significant computational resources to generate validity proofs. Their costs should be compensated properly, so a sustainable prover market can form over time. Existing transaction fee mechanisms (TFMs) such as EIP-1559, however, do not work in this setting, as EIP-1559 only generates negligible revenue because of burning, while provers often create or purchase specialized hardware in hopes of creating long-term revenue from proving, somewhat reminiscent of proof-of…

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
Gholamreza Ramezan, Ehsan Meamari
https://arxiv.org/abs/2402.08322

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
This paper introduces the zk-IoT framework, a novel approach to enhancing the security of Internet of Things (IoT) ecosystems through the use of Zero-Knowledge Proofs (ZKPs) on blockchain platforms. Our framework ensures the integrity of firmware execution and data processing in potentially compromised IoT devices. By leveraging the concept of ZKP, we establish a trust layer that facilitates secure, autonomous communication between IoT devices in environments where devices may not inherently tr…

This https://arxiv.org/abs/2402.08322 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
This paper introduces the zk-IoT framework, a novel approach to enhancing the security of Internet of Things (IoT) ecosystems through the use of Zero-Knowledge Proofs (ZKPs) on blockchain platforms. Our framework ensures the integrity of firmware execution and data processing in potentially compromised IoT devices. By leveraging the concept of ZKP, we establish a trust layer that facilitates secure, autonomous communication between IoT devices in environments where devices may not inherently tr…

Mechanism Design for ZK-Rollup Prover Markets
Wenhao Wang, Lulu Zhou, Aviv Yaish, Fan Zhang, Ben Fisch, Benjamin Livshits
https://arxiv.org/abs/2404.06495 …

Mechanism Design for ZK-Rollup Prover Markets
In ZK-Rollups, provers spend significant computational resources to generate validity proofs. Their costs should be compensated properly, so a sustainable prover market can form over time. Existing transaction fee mechanisms (TFMs) such as EIP-1559, however, do not work in this setting, as EIP-1559 only generates negligible revenue because of burning, while provers often create or purchase specialized hardware in hopes of creating long-term revenue from proving, somewhat reminiscent of proof-of…

This https://arxiv.org/abs/2403.14020 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Zero-Knowledge Proof of Distinct Identity: a Standard-compatible Sybil-resistant Pseudonym Extension for C-ITS
Pseudonyms are widely used in Cooperative Intelligent Transport Systems (C-ITS) to protect the location privacy of vehicles. However, the unlinkability nature of pseudonyms also enables Sybil attacks, where a malicious vehicle can pretend to be multiple vehicles at the same time. In this paper, we propose a novel protocol called zero-knowledge Proof of Distinct Identity (zk-PoDI,) which allows a vehicle to prove that it is not the owner of another pseudonym in the local area, without revealing …

Zero-Knowledge Proof of Distinct Identity: a Standard-compatible Sybil-resistant Pseudonym Extension for C-ITS
Ye Tao, Hongyi Wu, Ehsan Javanmardi, Manabu Tsukada, Hiroshi Esaki
https://arxiv.org/abs/2403.14020

Zero-Knowledge Proof of Distinct Identity: a Standard-compatible Sybil-resistant Pseudonym Extension for C-ITS
Pseudonyms are widely used in Cooperative Intelligent Transport Systems (C-ITS) to protect the location privacy of vehicles. However, the unlinkability nature of pseudonyms also enables Sybil attacks, where a malicious vehicle can pretend to be multiple vehicles at the same time. In this paper, we propose a novel protocol called zero-knowledge Proof of Distinct Identity (zk-PoDI,) which allows a vehicle to prove that it is not the owner of another pseudonym in the local area, without revealing …