Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
Azul Prime can stream previously optimized code to new JVM instances at startup, reducing repeated compilation work. Azul claims two to five times faster warm-up than standard OpenJDK, with potential ...
LayerZero Research formally verified Jolt zkVM bytecode expansion using Lean, proving 60 of 67 RISC-V instructions in roughly 2.5 months.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results