Add Semaphore over ECDSA #6358

Triggered via pull request September 2, 2025 10:01

jadnohra

synchronize #911

09-02-semaphore

Status Failure

Total duration 2m 5s

Artifacts –

ci.yml

on: pull_request

rust-doc

29s

Matrix: circuits-snapshot

Matrix: pre-commit

Matrix: rust-checks

Matrix: rust-tests

Annotations

37 errors and 20 warnings

circuits-snapshot (keccak)

Process completed with exit code 101.

circuits-snapshot (keccak): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

circuits-snapshot (keccak): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

circuits-snapshot (zklogin)

Process completed with exit code 101.

circuits-snapshot (zklogin): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

circuits-snapshot (zklogin): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

rust-checks-x86_64

Process completed with exit code 101.

rust-checks-x86_64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L289

manually reimplementing `div_ceil`

rust-checks-x86_64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L225

manually reimplementing `div_ceil`

rust-checks-x86_64: crates/frontend/src/circuits/semaphore/reference.rs#L30

the borrowed expression implements the required traits

rust-checks-x86_64: crates/frontend/src/circuits/semaphore/reference.rs#L29

the borrowed expression implements the required traits

rust-checks-x86_64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

rust-checks-x86_64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

circuits-snapshot (ethsign)

Process completed with exit code 101.

circuits-snapshot (ethsign): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

circuits-snapshot (ethsign): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

rust-doc

Process completed with exit code 101.

rust-doc: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

rust-doc: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

circuits-snapshot (sha512)

Process completed with exit code 101.

circuits-snapshot (sha512): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

circuits-snapshot (sha512): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

circuits-snapshot (sha256)

Process completed with exit code 101.

circuits-snapshot (sha256): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

circuits-snapshot (sha256): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

circuits-snapshot (hash_based_sig)

Process completed with exit code 101.

circuits-snapshot (hash_based_sig): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

circuits-snapshot (hash_based_sig): crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

pre-commit-x86_64

Process completed with exit code 1.

rust-checks-arm64

Process completed with exit code 101.

rust-checks-arm64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L289

manually reimplementing `div_ceil`

rust-checks-arm64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L225

manually reimplementing `div_ceil`

rust-checks-arm64: crates/frontend/src/circuits/semaphore/reference.rs#L30

the borrowed expression implements the required traits

rust-checks-arm64: crates/frontend/src/circuits/semaphore/reference.rs#L29

the borrowed expression implements the required traits

rust-checks-arm64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L212

fields `nullifier_secret` and `scope_len_bytes` are never read

rust-checks-arm64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L98

field `leaf` is never read

pre-commit-arm64

Process completed with exit code 1.

pre-commit-x86_64: crates/frontend/src/circuits/semaphore/keccak_circuit.rs#L367