Have you thought about listing the proving system being used by each project? Would be interesting to see if there’s any sort of convergence or preference

Daimo

Real World Ethereum 🌎 
building /daimo ✳️ 

All this idle compute just waiting to generate proofs 🥱

anybody looking at opcodes for zkvms? imagine that’s the best way to estimate prover costs before the proof is generated

or not? curious for thoughts

🫂multi 🥳 party 🧮 compute-er @nillion views are my own and don’t represent anyone else’s etc etc

is there an opportunity for agents to collaborate via mpc and to have their results be verified with zk? or is zk just not needed

awesome! working on something similar for zk compute but have a huge interest in the intersection of the two

curious, are there any dedicated compute platforms for mpc? seen a lot of infra/tooling around zkp, wondering if there’s another world out there for mpc

⚡️ZK proving infra | 🔮 Future-proof blockchains | 💰 Quantum money

Chris Tam

@blamechris