ethproofs [dot] org é um ótimo recurso para aprender sobre ZK no contexto do dimensionamento do Ethereum. Recomendaria uma leitura!