Non-interactive cross-chain state proofs  

Project team: Charalampos Papamanthou - Computer Science, with Amir Rezaizadeh, co-founder and Ismael Hishon-Rezaizadeh, co-founder