Universal STARK recursion
starkoracles
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
Cross-zk-rollup aggregation
