Issues

• ZK-073: Redesign relayer binding and zero-relayer semantics across SDK and contract code

  area: withdrawbountycircuitscomplexity: highpriority: highsecuritytestingwave: zk-2
  ANAVHEOBA/PrivacyLayer#349 · Filter by author ANAVHEOBA opened on Apr 26, 2026
  15

  

• ZK-072: Replace lossy recipient decoding with a verifiable address-binding strategy

  area: withdrawbountycircuitscomplexity: highpriority: highsecuritytestingwave: zk-2
  ANAVHEOBA/PrivacyLayer#348 · Filter by author ANAVHEOBA opened on Apr 26, 2026
  15

  

• ZK-071: Split the withdrawal circuit schema from the contract verifier payload explicitly

  area: withdrawbountycircuitscomplexity: highpriority: hightestingwave: zk-2
  ANAVHEOBA/PrivacyLayer#347 · Filter by author ANAVHEOBA opened on Apr 26, 2026
  9

  

• ZK-065: Run all ZK tests, rebuild checks, and artifact hash validation in CI

  area: testingbountycomplexity: highpriority: hightestingwave: zk-1
  ANAVHEOBA/PrivacyLayer#309 · Filter by author ANAVHEOBA opened on Apr 23, 2026
  7

  

• ZK-062: Add fuzz and property tests for note serialization, witness encoding, and Merkle paths

  area: testingbountycomplexity: highpriority: mediumtestingwave: zk-1
  ANAVHEOBA/PrivacyLayer#306 · Filter by author ANAVHEOBA opened on Apr 23, 2026
  7

  

• ZK-011: Add explicit domain separation tags to note commitments

  area: commitmentbountycircuitscomplexity: highpriority: highwave: zk-1
  ANAVHEOBA/PrivacyLayer#255 · Filter by author ANAVHEOBA opened on Apr 23, 2026
  7