[Round Table] Design sessions for Filecoin-specific bridging, provable state