Sogol Malek2 talks by Sogol MalekSogol Malek - efficient light client for stateless VerificationEfficient Light Client for Stateless Verification