Repository navigation

feat(verifier): dispatch a zkp_req presentation to the nym_auth verifier - #830

Open

leifj wants to merge 218 commits into

SUNET:mainfrom

sirosfoundation:feat/nymauth-verifier-dispatch

Open

feat(verifier): dispatch a zkp_req presentation to the nym_auth verifier#830
leifj wants to merge 218 commits into
SUNET:mainfrom
sirosfoundation:feat/nymauth-verifier-dispatch

Commits on Oct 13, 2026
- feat(issuer): seed-backed commitment claims, derived sources
  
  leifj
  and
  claude
  committed
  f8af1f1
- fix: the review findings on seed-backed commitment claims
  
  leifj
  and
  claude
  committed
  d0d18bf
- fix: redact under every verb, and refuse a path conflict
  
  leifj
  and
  claude
  committed
  fe65b3a
- fix: redact a copied Deriver, and inject before allocating a status entry
  
  leifj
  and
  claude
  committed
  d2c4bd6
- fix: three more, all of them silent failures
  
  leifj
  and
  claude
  committed
  da690e5
- fix: three more, one of them mine from the last round
  
  leifj
  and
  claude
  committed
  9d412f0
- refactor: one resolver for commitment targets, shared by both callers
  
  leifj
  and
  claude
  committed
  9854dea
- fix: a sound trailing-bytes check, and a guard for displaced doc comments
  
  leifj
  and
  claude
  committed
  df4dc7f
- fix: drop a 39MB binary that git add -A swept in
  
  leifj
  and
  claude
  committed
  97127fc
- fix: the doc guard did not catch the case it was written for
  
  leifj
  and
  claude
  committed
  07838d3
- fix: refuse targets the signing layer overwrites, and malformed verifier ids
  
  leifj
  and
  claude
  committed
  8f5b912
Commits on Oct 14, 2026
- refactor: one copy of the doc guard, in internal/docguard
  
  leifj
  and
  claude
  committed
  780dd93
- fix: an SD-JWT commitment must be selectively disclosable
  
  leifj
  and
  claude
  committed
  32ea75a
- fix: every SD-JWT spelling, and VCTM paths compared by segment
  
  leifj
  and
  claude
  committed
  40c16dc
- fix: reserve the disclosure machinery's own claims, derived from the builder
  
  leifj
  and
  claude
  committed
  5c4adf2
- fix: refuse commitments on formats whose signing layer is unaccounted for
  
  leifj
  and
  claude
  committed
  82fdc83
- feat(openid4vp): the circuit_zk request model
  
  leifj
  and
  claude
  committed
  d126c9c
- fix: the review findings on the circuit_zk request model
  
  leifj
  and
  claude
  committed
  2c2ac2e
- docs: regenerate the configuration reference
  
  leifj
  and
  claude
  committed
  25f2cf5
- fix: the extension bags have to work from YAML
  
  leifj
  and
  claude
  committed
  483e6f7
- fix: the YAML decode, and raw through the cache
  
  leifj
  and
  claude
  committed
  bb4da16
- fix: the raw escape hatch died at the ingress
  
  leifj
  and
  claude
  committed
  a4f5669
- fix: raw is a wire representation, not a bypass
  
  leifj
  and
  claude
  committed
  a8a5064
- fix: the two extension points YAML could not reach
  
  leifj
  and
  claude
  committed
  614c785
- fix: an unreadable constraint is not an absent rule
  
  leifj
  and
  claude
  committed
  c74d5ce
- fix: validation read the shadow fields, not the bytes
  
  leifj
  and
  claude
  committed
  b274764
- fix: shadow every readable member, not the two I happened to need
  
  leifj
  and
  claude
  committed
  e2f9838
- fix: a decode that succeeded is not a decode that kept everything
  
  leifj
  and
  claude
  committed
  205decc
- feat: a constructor for raw queries, and a rule that it is used
  
  leifj
  and
  claude
  committed
  21c32f7
- docs: Raw preserves the value, not the bytes
  
  leifj
  and
  claude
  committed
  7dadd8a
- fix: the configured digits were gone before anything could check them
  
  leifj
  and
  claude
  committed
  f102f93
- fix: duplicate members, and numbers YAML cannot write back
  
  leifj
  and
  claude
  committed
  7fd2e4c
- fix: two YAML scalars with no JSON number to become
  
  leifj
  and
  claude
  committed
  509053d
- fix: the escape hatch had become a laundry
  
  leifj
  and
  claude
  committed
  ac139f9
- fix: the YAML writer emitted a different query
  
  leifj
  and
  claude
  committed
  6dc9b04
- fix: the extension bags were still rounding decimals
  
  leifj
  and
  claude
  committed
  16960e2
- fix: templates could not express the negative shapes
  
  leifj
  and
  claude
  committed
  627eb1a
- test: the conformance comparison could not see a changed number
  
  leifj
  and
  claude
  committed
  f7e3faa
- test: pin the full-date, and guard the day yaml.v2 stops helping
  
  leifj
  and
  claude
  committed
  60a65d2
- fix: BSON rounded the numbers JSON had just preserved
  
  leifj
  and
  claude
  committed
  17f22ee
- fix: a typed container hid a number YAML would round
  
  leifj
  and
  claude
  committed
  c2fd6a9
- fix: make the exact query additive, and close the unkeyed literal
  
  leifj
  and
  claude
  committed
  a1042f0
- fix: a duplicate member could make the constraint depend on the reader
  
  leifj
  and
  claude
  committed
  67c7643
- fix: a removed query came back, and YAML dropped a duplicate
  
  leifj
  and
  claude
  committed
  73215b9
- feat: configure and publish a circuit_zk request
  
  leifj
  and
  claude
  committed
  8468393
- fix: req never reached the wallet, and the profile was too lax
  
  leifj
  and
  claude
  committed
  b122bb4
- fix: a proof input the browser would silently change
  
  leifj
  and
  claude
  committed
  8b7aee6
- fix: the number check asked about IEEE 754, not about the browser
  
  leifj
  and
  claude
  committed
  59d962d
- fix: a circuit_zk preset the request declares no support for
  
  leifj
  and
  claude
  committed
  48d727b
- docs: the circuit_zk preset needs two things, not one
  
  leifj
  and
  claude
  committed
  d824bc1
- docs: the claims fields do nothing for circuit_zk
  
  leifj
  and
  claude
  committed
  b5deb49
- fix: two members the nym_auth rulebook does not allow
  
  leifj
  and
  claude
  committed
  e3b39fb
- docs: one check does run without a validate profile
  
  leifj
  and
  claude
  committed
  9a71747
- fix: verifier_id_type was any string at all
  
  leifj
  and
  claude
  committed
  fe7dc52
- fix: a reduced preset was published under the configured label
  
  leifj
  and
  claude
  committed
  7728b85
- feat: the seed derivation secret can come from the secrets file
  
  leifj
  and
  claude
  committed
  72246cf
- fix: recovery could not read the secrets file I had just recommended
  
  leifj
  and
  claude
  committed
  e29cac8
- fix: _sd is refused at every depth, not only at the root
  
  leifj
  and
  claude
  committed
  bf5d773
Commits on Oct 15, 2026
- docs: the worked example was flattened into a table cell
  
  leifj
  and
  claude
  committed
  b6116af
- cache: store a request whose numbers BSON cannot hold
  
  leifj
  and
  claude
  committed
  fa9e269
- circuit_zk: verifier_id_type is no longer part of the request
  
  leifj
  and
  claude
  committed
  35ef3cb
- circuit_zk: the browser must not rebuild a req it is only checking
  
  leifj
  and
  claude
  committed
  c7a6860
- circuit_zk: refresh the vendored vectors to the rulebook request shape
  
  leifj
  and
  claude
  committed
  35e9090
- Merge feat/circuit-zk-request: the vendored vectors in the rulebook request shape
  leifj
  committed
  aaf49c0
- dcql: an ordinary query must stay mutable, and the BSON fix belongs here
  
  leifj
  and
  claude
  committed
  4533ddb
- circuit_zk: an empty filter is not an absent one, and a malformed req must reload
  
  leifj
  and
  claude
  committed
  12d12b8
- Merge feat/circuit-zk-request: mutable ordinary queries, the BSON fallback at its base, empty-vs-absent filters, and malformed req reloading
  leifj
  committed
  373f19a
- dcql: the raw path is not a way past the constraint checks
  
  leifj
  and
  claude
  committed
  1987c4f
- Merge feat/circuit-zk-request: the raw path is not a way past the constraint checks
  leifj
  committed
  db3455d
- make: test-js installs the dependency it now needs
  
  leifj
  and
  claude
  committed
  cad1bce
- dcql: guard the YAML routes too, and judge a number by its value
  
  leifj
  and
  claude
  committed
  77ab41b
- circuit_zk: an unreadable extension bag is an error, not an empty one
  
  leifj
  and
  claude
  committed
  a38c953
- dcql: an exponent may sit at the end of the int range
  
  leifj
  and
  claude
  committed
  73f8d9b
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  2f99e0f
- dcql: a literal that omits its type was invisible to the guard
  
  leifj
  and
  claude
  committed
  aa975a2
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  4a7842f
- dcql: a differently cased member is an unknown one, not the modelled one
  
  leifj
  and
  claude
  committed
  dfd0466
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  8c9712a
- dcql: copying a query must not repair it
  
  leifj
  and
  claude
  committed
  06bb606
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  8faaf5f
- dcql: finish the copy, and emit the tree that was checked
  
  leifj
  and
  claude
  committed
  d981bfa
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  93a2b28
- dcql: a nil element must not condemn the whole container
  
  leifj
  and
  claude
  committed
  a47b0b6
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  22ca9e4
- dcql: an absent raw leaf and an empty one are not the same leaf
  
  leifj
  and
  claude
  committed
  8e0b7e4
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  a25f8d9
- dcql: a pointer to a raw leaf is still a raw leaf
  
  leifj
  and
  claude
  committed
  edb3c14
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  ffd0508
- dcql: arrays and structs hold raw leaves too
  
  leifj
  and
  claude
  committed
  41e9fb4
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  ffdb90a
- dcql: a null filter is neither absent nor empty
  
  leifj
  and
  claude
  committed
  94617fe
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  9578829
- dcql: put the yaml import in its own group
  
  leifj
  and
  claude
  committed
  556d880
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  89e98be
- dcql: a scalar must not cost the raw leaf beside it
  
  leifj
  and
  claude
  committed
  0ccb2c5
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  485f8b6
- dcql: a repeated member cannot survive a decode
  
  leifj
  and
  claude
  committed
  45c5ed6
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  6e4f14a
- dcql: the fallback keeps bytes instead of re-parsing them
  
  leifj
  and
  claude
  committed
  b0c5349
- dcql: drop the blank line left by the previous commit
  
  leifj
  and
  claude
  committed
  ebdf307
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  5cf6a50
- dcql: copying must terminate on a value that serialises fine
  
  leifj
  and
  claude
  committed
  c26ec9c
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  bd06760
- dcql: a repeated YAML key keeps only the last, so refuse it
  
  leifj
  and
  claude
  committed
  29889a1
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  fe40bad
- dcql: identity stops a cycle; depth only bounded the stack
  
  leifj
  and
  claude
  committed
  fd19a12
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  826420d
- dcql: the fast paths need the guards the slow path has
  
  leifj
  and
  claude
  committed
  ce12fb8
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  7ee0003
- dcql: finish the list of interfaces json serialises through
  
  leifj
  and
  claude
  committed
  06b5e57
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  f4c950a
- dcql: a key is as much of the request as a value is
  
  leifj
  and
  claude
  committed
  cfffea4
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  b0068a0
- dcql: the copy around Params had the defects Params was fixed for
  
  leifj
  and
  claude
  committed
  4719bd0
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  0076cd5
- feat(issuer)!: the derivation secret is not a config field
  
  leifj
  and
  claude
  committed
  235c501
- fix(model): _sd_alg is reserved at every depth, and so is what sits below a target
  
  leifj
  and
  claude
  committed
  64fbe36
Commits on Oct 19, 2026
- fix(seed): a length the prefix cannot hold stops separating the fields
  
  leifj
  and
  claude
  committed
  147a9ae
- fix(seed_recover): a malformed -expect is an input error, not a mismatch
  
  leifj
  and
  claude
  committed
  07ebb99
- feat(seed)!: derive from an ordered list of subject identifiers
  
  leifj
  and
  claude
  committed
  04f8fb6
- fix(issuer): floor seed_bytes at 16, the default
  
  leifj
  and
  claude
  committed
  d2ea965
- feat(issuer): derive a seed from an ordered list of subject identifiers
  
  leifj
  and
  claude
  committed
  7c4bfd2
- Merge SUNET main (#810 squashed) into feat/circuit-zk-request
  
  leifj
  and
  claude
  committed
  2deb08f
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  df004ad
- fix(issuer): refuse a commitment scope signed through the wrong handler
  
  leifj
  and
  claude
  committed
  137e4f3
- fix(cache): a query the escape hatch built must reload from the cache
  
  leifj
  and
  claude
  committed
  758b14d
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  76d8a7a
- fix(verifier): the request-object cache must trust its own bytes too
  
  leifj
  and
  claude
  committed
  da4f3c5
- Merge remote-tracking branch 'origin/feat/circuit-zk-request' into feat/circuit-zk-wiring
  leifj
  committed
  62c93fa
- fix(nymauth): hash the BARE verifier_id, and refuse the prefixed one
  
  leifj
  and
  claude
  committed
  8fa8983
- feat(apigw): derive the seed and inject ssc before the issuer is called
  
  leifj
  and
  claude
  committed
  cf900a9
- fix: four review findings on the apigw move
  
  leifj
  and
  claude
  committed
  8a2ef71
- feat(nymauth): the verifier's challenge and age bounds, checked against the provers' vectors
  
  leifj
  and
  claude
  committed
  ac034c4
- feat(nymauth): the verifier's request, and stack on #793 for pkg/nymauth
  
  leifj
  and
  claude
  committed
  1d8d42f
- feat(nymauth): make the request predicate-agnostic
  
  leifj
  and
  claude
  committed
  14b875b
Commits on Oct 20, 2026
- feat(nymauth): the request carries the transcript seed, and derives e2
  
  leifj
  and
  claude
  committed
  5f1c3eb
- feat(nymauth): check nym_auth proofs through zk-cred-longfellow's C ABI
  
  leifj
  and
  claude
  committed
  00a7b25
- fix(nymauth): a semantic verifier_id is not a prefixed client_id
  
  leifj
  and
  claude
  committed
  80762dd
- Merge branch 'feat/seed-commitments' into feat/nymauth-verifier
  leifj
  committed
  dfed14e
- fix(nymauth): count the age window inclusively, and accept a semantic verifier_id
  
  leifj
  and
  claude
  committed
  0d4d0d0
- Merge branch 'feat/nymauth-verifier' into feat/nymauth-verifier-native
  leifj
  committed
  f8675c4
- fix(build): the header guard must actually stop the recipe
  
  leifj
  and
  claude
  committed
  5da3715
- fix(nymauth): a shifted age bound must stay inside the date format
  
  leifj
  and
  claude
  committed
  9d16773
- Merge branch 'feat/nymauth-verifier' into feat/nymauth-verifier-native
  leifj
  committed
  e07c953
- fix(nymauth): three more review findings - a panic, an alias, a bound in the wrong layer
  
  leifj
  and
  claude
  committed
  7cb49ab
- Merge branch 'feat/nymauth-verifier' into feat/nymauth-verifier-native
  leifj
  committed
  44858d8
- fix(nymauth): the transcript bound belongs to the library, not the request
  
  leifj
  and
  claude
  committed
  176a155
- feat(nymauth): a predicate function checks its own values
  
  leifj
  and
  claude
  committed
  f5d658d
- Merge branch 'feat/nymauth-verifier' into feat/nymauth-verifier-native
  leifj
  committed
  2dea7af
- feat(verifier): the nym_auth circuit allowlist, and what may be loaded
  
  leifj
  and
  claude
  committed
  f49cee1
- fix(verifier): check the artifacts at startup, and leave a disabled block alone
  
  leifj
  and
  claude
  committed
  9934aa4
- feat(openid4vp): validate a circuit_zk response against the request
  
  leifj
  and
  claude
  committed
  0f20190
- docs: re-pin the response vectors to the merged matcher commit
  
  leifj
  and
  claude
  committed
  5cee527
- fix(verifier): a zero Ligero parameter is not a default
  
  leifj
  and
  claude
  committed
  95d8b67
- Merge branch 'feat/nymauth-verifier-config' into feat/circuit-zk-response
  leifj
  committed
  3da26c2
- fix(openid4vp): a repeated key is judged by where it is, not by its spelling
  
  leifj
  and
  claude
  committed
  f3edfd4
- feat(verifier): dispatch a circuit_zk presentation to the nym_auth verifier
  
  leifj
  and
  claude
  committed
  1027a9b
- fix(nymauth): an ill-formed transcript must be refused, not hashed
  
  leifj
  and
  claude
  committed
  c820a6b
- Merge branch 'feat/nymauth-verifier' into feat/nymauth-verifier-native
  leifj
  committed
  662dd1e
- Merge branch 'feat/nymauth-verifier' into feat/nymauth-verifier-config
  leifj
  committed
  f320a4e
- Merge branch 'feat/nymauth-verifier' into feat/circuit-zk-response
  leifj
  committed
  032e705
- Merge branch 'feat/nymauth-verifier' into feat/nymauth-verifier-dispatch
  leifj
  committed
  99c251e
- test(nymauth): re-vendor the challenge vectors, now 13 rejects
  
  leifj
  and
  claude
  committed
  6db9dd1
- Merge branch 'feat/nymauth-verifier' into feat/nymauth-verifier-dispatch
  leifj
  committed
  9c2b571
- feat(verifier): the issuer key comes from the trust layer, bounded and fail-closed
  
  leifj
  and
  claude
  committed
  eb11a9b
- fix(verifier): the dispatch must hand the validator what it expects
  
  leifj
  and
  claude
  committed
  9baf39d
- build: move the Longfellow pin with the challenge vectors
  
  leifj
  and
  claude
  committed
  1f435eb
- Merge branch 'feat/nymauth-verifier-native' into feat/nymauth-verifier-config
  leifj
  committed
  bd231b9
- Merge branch 'feat/nymauth-verifier-native' into feat/circuit-zk-response
  leifj
  committed
  a30c06a
- Merge branch 'feat/nymauth-verifier-native' into feat/nymauth-verifier-dispatch
  leifj
  committed
  fe319fc
- feat(openid4vp): a circuit_zk presentation carries the issuer's chain
  
  leifj
  and
  claude
  committed
  4e862df
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  ba5645a
- feat(verifier): Q comes from the presentation's chain, vouched for by the PDP
  
  leifj
  and
  claude
  committed
  2f9ca39
- fix(openid4vp): JSON null is a type error, never an absent or empty value
  
  leifj
  and
  claude
  committed
  8401090
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  0ffb989
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  02eb600
- test(openid4vp): re-vendor the response vectors from the merged matcher set
  
  leifj
  and
  claude
  committed
  38bffda
- fix(verifier): a circuit_zk proof nothing checked must not verify
  
  leifj
  and
  claude
  committed
  dbb54dc
- fix(verifier): nym_auth cannot run without a PDP, and refuses to try
  
  leifj
  and
  claude
  committed
  4981512
- fix(model): the artifact digest example was a fabricated value
  
  leifj
  and
  claude
  committed
  cf6d4c8
- Merge branch 'feat/nymauth-verifier-config' into feat/circuit-zk-response
  leifj
  committed
  b0d12dc
- Merge branch 'feat/nymauth-verifier-config' into feat/nymauth-verifier-dispatch
  leifj
  committed
  7d202ef
- fix(model): sources validation ran with nym_auth switched off
  
  leifj
  and
  claude
  committed
  35ec0d2
- Merge branch 'feat/nymauth-verifier-config' into feat/nymauth-verifier-dispatch
  leifj
  committed
  ec9db0d
- refactor(verifier): decide T in one place, and say where it came from
  
  leifj
  and
  claude
  committed
  763b8b8
- feat(openid4vp)!: port the zkp_req request and response to rulebook v0.4
  
  leifj
  and
  claude
  committed
  7c0ebf2
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  2987e16
- feat(verifier)!: port the dispatch to v0.4 - issuer_key_set, prover proof_time, prefixed verifier_id
  
  leifj
  and
  claude
  committed
  8fc30e0
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-config
  leifj
  committed
  6d7e097
- feat(config)!: refuse the pre-v0.4 zkp_req configuration names
  
  leifj
  and
  claude
  committed
  c102162
- Merge branch 'feat/nymauth-verifier-config' into feat/nymauth-verifier-dispatch
  leifj
  committed
  9e143a6
- fix(verifier): operator-facing messages say zkp_req, not circuit_zk
  leifj
  committed
  a8cb7d3
- fix(nymauth)!: a verifier_id must be one of the two forms v0.4 defines
  
  leifj
  and
  claude
  committed
  d2cbacc
- fix(verifier): a zkp_req request must carry meta.source_format
  
  leifj
  and
  claude
  committed
  e3ac6e9
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  77a373f
- docs(model): the verifier_id a configuration reference teaches
  
  leifj
  and
  claude
  committed
  b9112f8
- fix(openid4vp): run the unsatisfiable vectors the profile is for
  
  leifj
  and
  claude
  committed
  8e78741
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  2421af4
- fix(verifier): the cgo path still used the pre-v0.4 field name
  
  leifj
  and
  claude
  committed
  1e7bc2b
Commits on Oct 21, 2026
- fix(verifier): the operator UI never left its spinner
  
  leifj
  and
  claude
  committed
  55a8c9d
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  770885f
- Merge upstream/main: #793 landed, and it carries the pre-v0.4 nymauth
  
  leifj
  and
  claude
  committed
  80d6ee9
- Merge branch 'feat/nymauth-verifier-config' into feat/circuit-zk-response
  leifj
  committed
  19efd24
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  386a05d
- fix(verifier): a refused zkp_req presentation is not a server error
  
  leifj
  and
  claude
  committed
  90f227f
Commits on Oct 24, 2026
- feat(nymauth)!: key the circuit allowlist by system and configuration
  
  leifj
  and
  claude
  committed
  1973f02
- Merge branch 'feat/nymauth-verifier-config' into feat/circuit-zk-response
  leifj
  committed
  3c8992a
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  
  leifj
  and
  claude
  committed
  d73f205
- feat(nymauth): the four circuit parameters are Longfellow's, per system
  
  leifj
  and
  claude
  committed
  558a03b
- Merge branch 'feat/nymauth-verifier-config' into feat/circuit-zk-response
  leifj
  committed
  138b4dc
- feat(nymauth): a Vega nym_auth verifier backend
  
  leifj
  and
  claude
  committed
  c20811d
- Merge branch 'feat/nymauth-verifier-config' into feat/circuit-zk-response
  leifj
  committed
  ec7b833
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  ec8718b
- feat(verifier): load the circuit with the library its system names
  
  leifj
  and
  claude
  committed
  362dccd
- build: the verifier links Vega too, now that it verifies with it
  
  leifj
  and
  claude
  committed
  673b914
- fix(verifier): the preset picker posts the request the server sends
  
  leifj
  and
  claude
  committed
  0f3f64e
- Merge branch 'feat/nymauth-verifier-config' into feat/circuit-zk-response
  
  leifj
  and
  claude
  committed
  eb37f92
- Merge branch 'feat/circuit-zk-response' into feat/nymauth-verifier-dispatch
  leifj
  committed
  7da54a0

Commits

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 19, 2026

Commits on Oct 20, 2026