Alex44
@alex44.eth
Nexus explores how AI can be used to design zkVM circuits, detect errors, search for other optimizations, and more. Full read https://blog.nexus.xyz/constraints-and-soundness-analysis-for-zkvm-instructions/
0 reply
0 recast
4 reactions