super excited to read this! I'm really interested in ZKPs for bitcoin for:
  • Rollups to provide a better peg-out mechanism so we can put new opcodes or new script VMs in sidechains and keep mainchain nice and simple
  • massive speedups for IBD, which means more full nodes on crappier hardware/networks