Kyber: add proofs for `serialize_uncompressed_ring_element` #694

Sign in to view logs

Triggered via pull request February 20, 2024 10:05

synchronize #202

lucas/serialize-proofs

Status Success

Total duration 23m 20s

Artifacts –

rust.yml

on: pull_request

Matrix: benchmarks

Matrix: build