siev 8 t4 zkif_ringzkif_assert_equal zkif_vectorx @  8 D`(D H4  280 ring_equal,8Xd L0ring_mul :H0ring_addDP lx  zX<,2equal zkif_ring ring_equall*X<02mul zkif_ringring_mul,X~<02add zkif_ringring_add   (4 , assert_equal_private      dP\ $  L0vector_mul_7_2`fD821mul zkif_vectorvector_mul_7_2 J8 square hL"  square   $0 ( t ,   $ HThH   p  \L, 11privatezkif_assert_equalassert_equal_privatept  4$82type zkif_ring e   2.0.0