vix.ing · top · new · best · stats · spec

Alvaro Alonso Domenech

  1. Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
    2024/04/25 by Alvaro Alonso Domenech, Domenech, Alvaro Alonso, Jonathan Heiss +3 · 2 citations
    Computer Science · #VLSI and Analog Circuit Testing #Parallel Computing and Optimization Techniques #Formal Methods in Verification