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

Sign in to view logs

Triggered via pull request January 23, 2024 02:11

armfazh

synchronize #451

armfazh:dleq_in_qn

Status Success

Total duration 9m 52s

Artifacts –

ci-actions.yml

on: pull_request

Matrix: amd64_job

Analyze with CodeQL

Testing Build Modes

Matrix: exotic_job

Matrix: osCompat