zk/dleq: Adding DLEQ proofs for Qn, the subgroup of squares in (Z/nZ)* #1257

Sign in to view logs

Triggered via pull request January 23, 2024 18:45

armfazh

synchronize #451

armfazh:dleq_in_qn

Status Success

Total duration 10m 23s

Artifacts –

ci-actions.yml

on: pull_request

Matrix: amd64_job

Analyze with CodeQL

Testing Build Modes

Matrix: exotic_job

Matrix: osCompat