ask assets audio bft blockchain btc channels code conference consensus cryptocurrency cryptography dag dex economics eth formalverification hacks identity incentives meta pdf privacy reputation scalability show sidechains slides tutorial video whitepaper