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:
더 보기
