Alex Hicks

3 talks by Alex Hicks

• L1 zkEVM Breakout #3
• Episode 396 - lean Ethereum Part 6: Formal Verification with Alex Hicks
• L1 zkEVM Breakout #1