Osoittautuu, että avain nopeaan sumcheck-todistajaan on soveltaa jakolakia yhä älykkäämmillä tavoilla