11 citations · 20 across the 9 of their papers we have counts for
9 papers
ZeroOS: A Universal Modular Library OS for zkVMs
Guangxian Zou, Isaac Zhang, Ryan Zarick +5
zkVMs promise general-purpose verifiable computation through ISA-level compatibility with modern programs and toolchains. However, compatibility extends further than just the ISA;…
FAFO: Over 1 million TPS on a single node running EVM while still Merkleizing every block
Ryan Zarick, Isaac Zhang, Daniel Wong +4
Current blockchain execution throughput is limited by data contention, reducing execution layer parallelism. Fast Ahead-of-Formation Optimization (FAFO) is the first blockchain tra…
vApps: Verifiable Applications at Internet Scale
Isaac Zhang, Kshitij Kulkarni, Tan Li +6
Blockchain technology promises a decentralized, trustless, and interoperable infrastructure. However, widespread adoption remains hindered by issues such as limited scalability, hi…
QMDB: Quick Merkle Database
Isaac Zhang, Ryan Zarick, Daniel Wong +4
Quick Merkle Database (QMDB) addresses longstanding bottlenecks in blockchain state management by integrating key-value (KV) and Merkle tree storage into a single unified architect…
LayerZero
Ryan Zarick, Bryan Pellegrino, Isaac Zhang +2
In this paper, we present the first intrinsically secure and semantically universal omnichain interoperability protocol: LayerZero. Utilizing an immutable endpoint, append-only ver…
ColorTrace: Fungible token coloring and attribution
Ryan Zarick, Bryan Pellegrino, Isaac Zhang +2
We formally define the fungible token coloring problem of attributing (coloring) fungible tokens to originating entities (minters), and present, to our knowledge, the first practic…
ColorFloat: Constant space token coloring
Ryan Zarick, Bryan Pellegrino, Isaac Zhang +2
We present ColorFloat, a family of O(1) space complexity algorithms that solve the problem of attributing (coloring) fungible tokens to the entity that minted them (minter). Taggin…
LayerZero: Trustless Omnichain Interoperability Protocol
Ryan Zarick, Bryan Pellegrino, Caleb Banister
The proliferation of blockchains has given developers a variety of platforms on which to run their smart contracts based on application features and requirements for throughput, se…
Unlocking the Potential of Deep Counterfactual Value Networks
Ryan Zarick, Bryan Pellegrino, Noam Brown +1
Deep counterfactual value networks combined with continual resolving provide a way to conduct depth-limited search in imperfect-information games. However, since their introduction…