Principles of decentralized finance This is a repo for the website of the principles of decentralized finance lectures, given in the summer of 2022.