1 citations · 1 across the 3 of their papers we have counts for
3 papers
Towards Credential-based Device Registration in DApps for DePINs with ZKPs
Jonathan Heiss, Fernando Castillo, Xinxin Fan
Decentralized Physical Infrastructure Networks (DePINS) are secured and governed by blockchains but beyond crypto-economic incentives, they lack measures to establish trust in part…
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…