I’d like to discuss a project we’re developing called Spaces, for creating a scalable & permissionless ~250KB Bitcoin Certificate Authority. We’re working on building a zk light client for the protocol using RISC0 zkVM[0] and the protocol uses client-side validation. Leveraging Bitcoin & ZK, it seems we could finally get decentralized PKI that works well and lightweight enough to verify by end-users. What makes Spaces scalable is that it introduces a concept of “subspaces” which are off-chain entities that have great autonomy. It is not exactly like zk-rollups as the data itself is off-chain - although it may not exactly fit into “validium” either as data availability itself is not a major issue. Users hold their own inclusion proofs. The commitments posted on-chain have a lifetime during which they’re able to transact on-chain and off-chain. We’re at an early stage and welcome your feedback. For more technical details: https://spacesprotocol.org [0] https://dev.risczero.com/proof-system-in-detail.pdf -- You received this message because you are subscribed to the Google Groups "Bitcoin Development Mailing List" group. To unsubscribe from this group and stop receiving emails from it, send an email to bitcoindev+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/bitcoindev/e748ac07-1aca-4f1e-ad3e-aa57e4d6dc05n%40googlegroups.com.