ZEREBROS ALGORITHM (ZK-SNARKS)