Trustless: episode 3 -- in mathematicians and developers we trust