Tre informatici tedeschi regalano scalabilità a Bitcoin usando la zk-proofs