Chained proofs rarely become extremely long in practice (except with RSA, but that's more on RSA). There are several ways around this problem, including moving proofs to a DHT, but SNARKs/STARKs seem like a fruitful possible future direction. Mainly noting down here since it's come up a bunch in conversations
Chained proofs rarely become extremely long in practice (except with RSA, but that's more on RSA). There are several ways around this problem, including moving proofs to a DHT, but SNARKs/STARKs seem like a fruitful possible future direction. Mainly noting down here since it's come up a bunch in conversations