Kyber: add proofs for `serialize_uncompressed_ring_element` #300

Sign in to view logs

Triggered via pull request February 20, 2024 10:05

synchronize #202

lucas/serialize-proofs

Status Success

Total duration 11m 24s

Artifacts –

hax.yml

on: pull_request