LayerZero
@LayerZero_Core
Better Money Technology. Better Markets Technology. // @LayerZero_Fndn ㅤ
加入 May 2021
2 正在关注 713.8K 粉丝
New from LayerZero Research: Formal Verification of Jolt Bytecode Expansion.
We’ve formally verified a core component of Jolt, the zk-VM powering Zero’s proving architecture.
Read the full writeup:
显示更多
