VApps: Verifiable Applications at Internet Scale

Blockchain technology promises a decentralized, trustless, and interoperable infrastructure. However, widespread adoption remains hindered by issues such as limited scalability, high transaction costs, and the complexity of maintaining coherent verification logic across different blockchain layer...

PT-2024-40198 · Sp1 · Sp1

Name of the Vulnerable Software and Affected Versions: SP1 versions prior to 3.0.0 Description: The issue arises during proof generation, where the prover must observe all values sent to the verifier to generate valid Fiat-Shamir challenges. In versions prior to 3.0.0, the cumulative sum of the...

Malicious code in proof-generation-api (npm)

--- -= Per source details. Do not edit below this line.=- Source: ghsa-malware 720a1d714457c3158b503cd852160e95601dab1be74fdd9c12f1e6388d02a2d1 Any computer that has this package installed or running should be considered fully compromised. All secrets and keys stored on that computer should be...

MAL-2022-5485 Malicious code in proof-generation-api (npm)

--- -= Per source details. Do not edit below this line.=- Source: ghsa-malware 720a1d714457c3158b503cd852160e95601dab1be74fdd9c12f1e6388d02a2d1 Any computer that has this package installed or running should be considered fully compromised. All secrets and keys stored on that computer should be...