>>22>>17 here, I'm not
>>23. as for hardware, I don't. I think hardware verification in general is going to be one of the next hig things, but I also feel their're are going to do it the wrong way - they'll focus on side-channel bugs and tamper prevention, but not on auditable open-source hardware