2 citations · 4 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai
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 sub…
cs.LG2024★ 1 cited
End-to-End Verifiable Decentralized Federated Learning
Chaehyeon Lee, Jonathan Heiss, Stefan Tai +1
Verifiable decentralized federated learning (FL) systems combining blockchains and zero-knowledge proofs (ZKP) make the computational integrity of local learning and global aggrega…