On-The-Fly Coding Dramatically Improves Data Availability Security Assurance
Modularizing data availability by committing to uncoded data and using Random Linear Network Coding for stronger sampling assurance.
Formal Verification Secures ZK-Rollup Mechanisms against Centralization and Fund Loss
Applying the Alloy specification language to ZK-Rollup Layer 1 contracts formally verifies critical L2 security mechanisms, mitigating multisig risks and censorship.
Etherlink Liquid Staking Launch Unlocks XTZ Capital Efficiency Driving $45m TVL
The stXTZ liquid staking primitive on Etherlink L2 unifies Tezos L1 yield with EVM DeFi composability, strategically capturing staked capital.
