Research
Long-horizon work on coordination, the systems that let humans and agents work together at machine speed.
Private Decentralized Inference on Consumer HardwareDistributed Systems CryptographyEigenDA: LittDB for Cloud Scale DADistributed Systems CryptographyScalable Subspace Clustering via Purity Kernel Tensor LearningMachine Learning GovernanceEigenCloud: Build Powerful Crypto Apps on Any Chain with the Verifiable CloudDistributed Systems CryptographyEIGEN The Universal Intersubjective Work TokenDistributed Systems CryptographyStakesure: Proof of stake mechanisms with strong cryptoeconomic safetyDistributed Systems CryptographyUnconditionally safe light clientDistributed Systems CryptographyTravelers: A scalable fair ordering BFT systemDistributed Systems CryptographyEigenLayer: The Restaking CollectiveDistributed Systems CryptographyTrustboost: Boosting trust among interoperable blockchainsDistributed Systems CryptographyPlayer-replaceability and forensic support are two sides of the same (crypto) coinDistributed Systems CryptographySakshi: Decentralized ai platformsDistributed Systems CryptographyBigDipper: A hyperscale BFT system with short term censorship resistanceDistributed Systems CryptographyThemis: Fast, strong order-fairness in byzantine consensusDistributed Systems CryptographyFair Ordering in BlockchainsDistributed Systems CryptographyGoldfish: Peer Selection using Matrix Completion in Unstructured P2P NetworkDistributed Systems CryptographyDispersedLedger:High-Throughput byzantine consensus on variable bandwidth networksDistributed Systems CryptographyOrder-fair consensus in the permissionless settingDistributed Systems CryptographyProof-of-stake longest chain protocols: Security vs predictabilityDistributed Systems CryptographyBitcoin-enhanced proof-of-stake security: Possibilities and impossibilitiesDistributed Systems CryptographyFree2shard: Adversary-resistant distributed resource allocation for blockchainsDistributed Systems CryptographyOptimal bootstrapping of pow blockchainsDistributed Systems CryptographyMinotaur: Multi-resource blockchain consensusDistributed Systems CryptographyVerifying a set of remotely stored dataDistributed Systems CryptographyBabylon: Reusing Bitcoin Mining to Enhance Proof-of-Stake SecurityDistributed Systems CryptographyBFT protocol forensicsDistributed Systems CryptographyBlockchain cap theorem allows user-dependent adaptivity and finalityDistributed Systems CryptographySecuring parallel-chain protocols under variable mining powerDistributed Systems CryptographyPoSAT: Proof-of-work availability and unpredictability, without the workDistributed Systems CryptographyACeD: Scalable Data Availability OracleDistributed Systems CryptographyLearning in gated neural networksMachine Learning GovernanceEverything is a race and Nakamoto always winsDistributed Systems CryptographyPolyshard: Coded sharding achieves linearly scaling efficiency and security simultaneouslyDistributed Systems CryptographyCoded merkle tree: Solving data availability attacks in blockchainsDistributed Systems CryptographyPerigee: Efficient peer-to-peer network design for blockchainsDistributed Systems CryptographyImproving federated learning personalization via model agnostic meta learningMachine Learning GovernanceClustergan: Latent space clustering in generative adversarial networksMachine Learning GovernanceBreaking the gridlock in mixture-of-experts: Consistent and efficient algorithmsMachine Learning GovernanceAre odds really odd? bypassing statistical detection of adversarial examplesMachine Learning GovernanceDropping pixels for adversarial robustnessMachine Learning GovernanceBreaking the gridlock in Mixture-of-Experts: Consistent and Efficient AlgorithmsMachine Learning GovernancePrism: Deconstructing the blockchain to approach physical limitsDistributed Systems CryptographyCoded State Machine--Scaling State Machine Execution under Byzantine FaultsDistributed Systems CryptographyGlobally consistent algorithms for mixture of expertsMachine Learning GovernanceDeceiving google's perspective api built for detecting toxic commentsMachine Learning GovernanceBlocking transferability of adversarial examples in black-box learning systemsMachine Learning Governance