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

Sign in to view logs

Triggered via pull request July 19, 2023 00:43

armfazh

synchronize #451

armfazh:dleq_in_qn

Status Success

Total duration 14m 1s

Artifacts –

ci-actions.yml

on: pull_request

Matrix: amd64_job

Analyze with CodeQL

Testing Build Modes

Matrix: exotic_job

Matrix: osCompat