Succinct Labs raccoglie 55 milioni di dollari per spingere le prove a conoscenza zero nello sviluppo mainstream