pull down to refresh

11 sats \ 4 replies \ @barbarian 28 May \ on: Mike Schmidt - Brink, Optech AMA bitcoin AMA

What is the area of bitcoin that is most in need of funding?

write
compose
156 sats \ 3 replies \ @schmidty OP 28 May

Im biased here, but probably the boring stuff. More code review, more testing. Build system work. Maybe there is more quantum work needed "just in case".

reply
134 sats \ 2 replies \ @schmidty OP 28 May

I'd add that work on formal verification is interesting as well.

reply
11 sats \ 1 reply \ @Scoresby 28 May

I saw that Vitalik published a post about formal verification earlier this month and I think I heard that Toby Sharp was also working on formal verification.

reply
113 sats \ 0 replies \ @schmidty OP 28 May
reply