Skip to content

Add UAE (VARA) as 5th jurisdiction#7

Merged
DROOdotFOO merged 1 commit into
mainfrom
add-uae-jurisdiction
Jun 14, 2026
Merged

Add UAE (VARA) as 5th jurisdiction#7
DROOdotFOO merged 1 commit into
mainfrom
add-uae-jurisdiction

Conversation

@DROOdotFOO

Copy link
Copy Markdown
Contributor

Summary

Adds UAE (VARA) as a 5th jurisdiction across the Noir circuits and Solidity library so the reference implementation matches the policy described in the whitepaper's VARA strategy (whitepaper Section 8.4).

Why

VARA's January 2026 anti-anonymity ruling carves out assets with "mitigating technologies" for traceability. ERC-8262 is that technology, and UAE is named in the whitepaper as the first regulatory target. Without UAE in the Solidity `JurisdictionConfig` and the matching Noir circuit constant, UAE-originating attestations could not route through the on-chain validation pipeline.

Policy

Parameter Value Rationale
High-risk threshold 7100 bps (71%) Matches EU/UK
`requireSignedSignals` `true` Strict, same as US BSA / Singapore MAS
`minMultiProviderThreshold` 2 Strict, same as US BSA / Singapore MAS

Changes

  • `circuits/shared/src/constants.nr` — `JURISDICTION_UAE = 4`
  • `circuits/shared/src/risk.nr` — `get_high_threshold` covers UAE; cross-validation test asserts the threshold
  • `src/libraries/JurisdictionConfig.sol` — UAE constant + `getThresholds`, `validateJurisdiction`, `requireSignedSignals`, `minMultiProviderThreshold` all updated
  • `test/ThresholdCrossValidation.t.sol` — `NOIR_UAE_THRESHOLD` constant, `test_uae_threshold_matches_noir`, exhaustive loop now iterates `0..5`
  • `test/LibraryFuzz.t.sol` — fuzz bounds widened to include UAE
  • `test/ERC8262Oracle.t.sol`, `test/Invariant.t.sol` — comments updated to reflect strict-mode set now being US/SG/UAE

Companion PRs

Test plan

  • `forge build` succeeds
  • `forge test --match-contract "ThresholdCrossValidation|LibraryFuzz"` — 12 tests pass
  • `forge test` (full suite) — please run before merge
  • `nargo test --workspace` in `circuits/` — please run before merge (`nargo` not in CI here)

VARA's January 2026 anti-anonymity ruling carves out assets
with "mitigating technologies" for traceability. ERC-8262 is
such a mitigating technology, so adding UAE lets the Oracle
route UAE-originating attestations through the same pipeline
as the four pre-existing jurisdictions.

Policy:
- High-risk threshold = 7100 bps (71%, same as EU/UK)
- requireSignedSignals = true (strict, same as US/SG)
- minMultiProviderThreshold = 2 (strict, same as US/SG)

Changes:
- circuits/shared/src/constants.nr: JURISDICTION_UAE = 4
- circuits/shared/src/risk.nr: get_high_threshold + cross-
  validation test now cover UAE
- src/libraries/JurisdictionConfig.sol: UAE constant +
  getThresholds, validateJurisdiction, requireSignedSignals,
  minMultiProviderThreshold all updated
- test/ThresholdCrossValidation.t.sol: NOIR_UAE_THRESHOLD
  constant + test_uae_threshold_matches_noir; exhaustive
  loop now iterates 0..5
- test/LibraryFuzz.t.sol: fuzz bounds widened to include UAE
- test/ERC8262Oracle.t.sol, test/Invariant.t.sol: comments
  updated to reflect the strict-mode set now being US/SG/UAE

All ThresholdCrossValidation and LibraryFuzz tests pass.
@DROOdotFOO DROOdotFOO force-pushed the add-uae-jurisdiction branch from eb7c662 to f07cc45 Compare June 14, 2026 14:53
@DROOdotFOO DROOdotFOO merged commit 89f244d into main Jun 14, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants