1 citations · 1 across the 2 of their papers we have counts for
3 papers
Trusted Compute Units: A Framework for Chained Verifiable Computations
Fernando Castillo, Jonathan Heiss, Sebastian Werner +1
Blockchain and distributed ledger technologies (DLTs) facilitate decentralized computations across trust boundaries. However, ensuring complex computations with low gas fees and co…
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…
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…