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:
顯示更多
