|
|
|
|
|
|
by pa7x1
959 days ago
|
|
|
> You can't scale AND maintain those properties. zk-proofs allow you to do so. It's seeing very active development, and yes it involves an L2. The issue you seemed to have ignored is that to be able for the L2s to inherit those properties from the L1, the L1 needs to have sufficient expressiveness to be able to build the proof verifiers. I would love to see how anyone builds such a thing on bitcoin. |
|
|