It is a big problem for @ethereum that most of the constraints for the RISC V zkVMs are not explicitly clear in the code or the documentation. Most of the provers currently are black boxes with 100k to 500k lines of code. I have been saying for the last five years, and particularly the last three, that ZK would eat the world. This is now happening. Due to the big investment in research and engineering done by the Ethereum community, we are very close to this happening. However, I am deeply worried about the lack of clear documentation and clear code. As we did with @ethrex_client at @class_lambda, @alignedlayer is working on a minimalist, simple, and performant RISC V zkVM with theoretical improvements. I think the biggest asset we are providing to Ethereum is that it is easy to understand, inspect, and replicate our work.

This is something most investors don’t understand in crypto. I would invest in half of my team of Lambda because I know them and they would fight till death to win and create something amazing. That’s why we created @alignedlayer with @rj_aligned. He is doing an amazing job and the market didn’t fully catch up yet to every product he is building. I would invest again and again in anything @rj_aligned or @mauro_aligned or @diego_aligned build.

New work with @asanso! We present an attack against hash based SNARGs using small fields that reduces conjectured security by around 10 bits. Most hash-based systems using 31-bit (or smaller) base fields are affected.