avi
@avichalp
formally verified zkvms is the new meta
0 reply
0 recast
3 reactions