ZeroSync is spearheading the application of proof systems to #Bitcoin