Building the first provably live pure Proof-of-Stake (PoS) CBC-Casper blockchain designed for real-world applications. Also backed by Arrington, Hashkey, and Blockchange.
A research and development protocol for Universal Proof Aggregation (UPA), enabling batch-verification of diverse zk-proofs.