Internal Lectures on Zero-Knowledge Proving Systems at Distributed Lab