ethproofs [dot] org — чудовий ресурс для вивчення ZK у контексті масштабування Ethereum. Рекомендую до прочитання!