A split prover approach to efficient SPARTAN proof generation

Student thesis: Master's Thesis

Date of Award	08 Aug 2024
Original language	Spanish
Awarding Institution	Pontificia Universidad Javeriana École de technologie supérieure

Cite this

Douchet_Antoine_DOUA72320201_EVALUATION_1
File: application/pdf, 307 KB
Type: Thesis