$1M
Dionysis Zindros Zeta Avarikioti Ivan Homoliak Aaron Li Andrianna Polydouri Dimitris Karakostas
Cryptography: deploy succinct proofs for privacy & performance Security: use mechanical verification for audits, strongly typed languages for prototyping Decentralization: scale transactions across protocols, on-chain staking & delegation across light clients
Toward logarithmic states: Flyclient/NiPoSPoS-based bridges vs ZK-rollups vs Interlay/XClaim's economics security, fast state sync for mining and resharding, keyless wallets with lattice-based witness encryption; Toward supporting 100k delegators: optimizations of Harmony's on-chain delegations and compounding rewards; Toward 1-second transaction finality: determine the optimal shard size against network security for our Proof-of-Stake network, compare to Mahdi Zamani's Rapidchain and Instachain.