Morgan ThomasinCasper Association R & DZK ACTUS: a problem spaceThis note outlines a problem that I’ve been working on in the intersection of finance and cryptography. This is the problem of making…4 min read·Sep 29, 2023----
Morgan ThomasinCasper Association R & DBerkeley RDI ZKP / Web3 hackathon, 2023: my experienceI participated in the Berkeley RDI ZKP / Web3 hackathon, 2023. This hackathon aimed to incentivize various developments of general…2 min read·May 10, 2023----
Morgan ThomasinCasper Association R & DBerkeley ZK MOOC 2023: a course reviewI participated as a student in the Berkeley ZK MOOC, 2023. This course covered zero knowledge proofs from theoretical and applied…2 min read·May 10, 2023----
Morgan ThomasinCasper Association R & DSuccinct proofs and provable specifications for critical systemsIt’s not obvious how to know things about the world, but knowing that critical systems will work correctly is a matter of duty for the…19 min read·Apr 28, 2023----
Morgan ThomasinCasper Association R & DZero knowledge ACTUS for holistic financial data managementThe ability of financial instutitions to know the risks they are exposed to depends on their access to high quality data which they can use…7 min read·Apr 28, 2023----
Morgan ThomasHow to build a sound monetary system using gold note backed debt derivativesAll of us have a responsibility to live without needing to be governed more than we want to be governed. If we can’t create money that will…10 min read·Feb 26, 2023----
Morgan ThomasinCasper Association R & DThe case against contracts being smartAre smart contracts the right idea for building a financial system on a blockchain? I suggest that maybe they are not, and we should…14 min read·Nov 23, 2022----