$ZKP pendek 0.1230