Technology

Proof of payment without the payer's history.

SILS binds every agent to a verified owner, enforces the owner's policy at three points, and settles with a zero-knowledge proof carried inside x402. This page goes from principles to architecture to specifics. Every capability carries a status. Every non-obvious fact carries a source.

In development SILS ID, Policy and Proof in development. Revolution V2 devnet running. Nothing SILS-specific is live.

01 · Principles

Seven rules shape every component.

SILS builds on the Revolution Network design. These principles come from the Revolution whitepaper.1 SILS adopts them as its own engineering constraints.

01

Off chain decides. On chain verifies.

Policy evaluation, proof generation and identity checks run off chain. The chain checks signed outputs and proofs. Every off-chain service has signed outputs, on-chain verification of those outputs, audit logs with the input hash and policy version, and replaceable keys.2

02

Prove, do not store.

No personal data, KYC data or payment detail goes on chain. The chain holds roots, hashes, caps and revocation lists.2

03

Free to prepare, paid to settle.

Identity, proofs, mandate anchors and intents are sponsored calls. Settlement is the step that carries the fee.3

04

Accept every rail.

Stablecoins settle natively. Card payments are recorded and referenced. The network is the record of trust, not the sole mover of money.1

05

Bond the seller.

Merchant agents post a bond before they sell. Misconduct is slashed and pays restitution to the buyer.4

06

Parent controls child.

Every agent traces to a verified owner. The owner can suspend or revoke it at any time. Agents cannot create agents.5

07

Standards first.

SILS Proof is a scheme inside x402, not a rival protocol. Identities mirror into ERC-8004. Mandates use the AP2 format.6

02 · Architecture

Six layers. Each depends on the layers below it.

The stack follows the Revolution layer model: identity, then payments, then discovery and enforcement, on top of the chain.7 SILS adds the access surfaces and a multichain settlement layer. The SILS Proof verifier is the point where payment, identity and policy meet.

SILS system layers Six stacked layers. Access: MCP server, A2A, REST API, SDKs, SILS Console. Identity: RNS names, Sigillum levels, agent registry, Facet Registry. Policy: Mandatum, Mandate Anchor, ERC-7579 hooks. Payments: Settlement contract, escrow and splits, x402 facilitator, and the SILS Proof verifier. Discovery and enforcement: Intent Book, Reputation Registry, bonds and disputes. Settlement networks: Revolution V2 as primary, then Base, Ethereum and Solana. 01 Access In development MCP server OAuth 2.1 A2A Agent cards REST API OpenAPI 3.1 SDKs TypeScript, Python SILS Console Owners, recovery 02 Identity In development RNS names .revo Sigillum levels L1 Basic to L3 Entity Agent registry Soulbound children Facet Registry Roots, revocation sets 03 Policy In development Mandatum Signed owner policy, off chain Mandate Anchor keccak256(mandate) on chain ERC-7579 hooks Session keys, per-call limits 04 Payments In development Settlement contract fund() gate Escrow and splits Full, Milestone, Stream x402 facilitator Open source, facets SILS Proof verifier Nullifier set 05 Discovery and enforcement In development, Planned Intent Book Funded buyer intent Reputation Registry Threshold proofs Bonds and disputes Slashing, restitution 06 Settlement networks Devnet, Planned Revolution V2 Primary, native verifier Base Storage proof Ethereum Storage proof Solana Labeled attestation

Figure 1. SILS system layers. Status shown per layer. Revolution V2 is the planned primary settlement network, subject to a definitive agreement. Base, Ethereum and Solana are planned.

LayerOff chainOn chainStatus
AccessRemote MCP server over Streamable HTTP.8 OAuth 2.1 with PKCE S256, protected resource metadata and audience-bound tokens.9 REST, SDKs, Console.None. Access surfaces hold no user keys.In development
IdentityKYC, KYB and KYA checks with regulated identity data partners. Credential issuance.Name registry, agent records, facet roots, revocation sets.5In development
PolicyOwner-signed Mandatum. Per-transaction evaluation.Policy hash, caps, expiry, revocation, session-key hooks.10In development
PaymentsProof generation on the client or a prover service. Netting of micro-payments.Settlement contract, Mandate Anchor, escrow, splits, proof verifiers.11In development
Discovery and enforcementOffer matching. Dispute evidence.Intent Book, Reputation Registry, bonds.4In development Planned
Settlement networksObservers and provers for non-native chains.Revolution V2 rollup, data and proofs on Ethereum.12Devnet Planned

03 · Lifecycle

One private payment, end to end.

Standard x402 settles with a transfer authorization that names the payer, so the payer address is indexed on chain and visible to the merchant.13 SILS keeps the x402 v2 exchange and its three headers: PAYMENT-REQUIRED, PAYMENT-SIGNATURE and PAYMENT-RESPONSE.14 It replaces what the payment payload carries. The merchant receives a proof, not a wallet.

Lifecycle of a private payment Sequence between buyer agent, merchant server, SILS verifier and the Settlement contract on Revolution. The agent requests a resource, receives a 402 with PAYMENT-REQUIRED, checks policy, settles USDC, generates a proof, retries with PAYMENT-SIGNATURE, the merchant asks the verifier, the verifier checks the settlement and nullifier, and the merchant serves the resource with PAYMENT-RESPONSE. Buyer agent shopping.rob.revo Merchant server sales.acme.revo SILS verifier Proof verifier Settlement contract on Revolution 1 GET /api/v1/report 2 402 + PAYMENT-REQUIRED scheme, amount, payTo, facets, nonce 3 Check policy local rules and on-chain caps 4 Settle USDC fund() gate or netted batch Settlement recorded 5 Generate proof on client or prover service 6 Retry + PAYMENT-SIGNATURE proof bound to the nonce 7 verify(proof, terms, nonce) Check settlement, roots nullifier must be fresh Valid. Nullifier recorded. Valid. Owner verified. Within policy. 8 200 + PAYMENT-RESPONSE resource served

Figure 2. Lifecycle of a private payment. Numbers match the steps below. Dashed arrows are responses. Illustrative. SILS Proof is in development.

Request

The agent shopping.rob.revo calls a paid endpoint, for example GET /api/v1/report.

Challenge

The merchant server answers 402 with a Base64 PAYMENT-REQUIRED header. Its accepts[] entry names the scheme sils-proof, the network as a CAIP-2 identifier, the asset, the amount in atomic units and payTo as sales.acme.revo.15,16 Scheme fields add the required facets and a fresh challenge nonce.6

Check policy

The agent checks the owner's Mandatum locally. The session key hook enforces caps, asset, target and expiry on chain. A payment outside policy stops here.10

Settle

The agent settles USDC into the Settlement contract. fund() reverts unless required facet proofs verify, the mandate hash is anchored and escrow covers the price. Micro-payments net off chain into one settlement per batch, checked against the caps on chain.11

Prove

The agent generates a zero-knowledge proof on the client or through a prover service.2 The proof covers the settlement, the merchant's terms, the challenge nonce and any requested facets.

Present

The agent retries the request with a PAYMENT-SIGNATURE header whose payload carries the proof instead of a signed transfer from a named wallet.14

Verify

The merchant calls the SILS verifier. It checks the proof against the settlement record and the facet and revocation roots. It rejects a nullifier that was already spent.17 One call returns payment, owner and policy results.6

Serve

The merchant returns 200 with a PAYMENT-RESPONSE header and the resource. The receipt reads: Proof valid. Owner verified. Within policy.

// HTTP/1.1 402 Payment Required. Header decoded from Base64.
{
  "x402Version": 2,
  "resource": { "url": "https://api.acme.example/api/v1/report" },
  "accepts": [{
    "scheme": "sils-proof",
    "network": "eip155:<revolution-chain-id>",
    "asset": "USDC",
    "amount": "24000000",
    "payTo": "sales.acme.revo",
    "maxTimeoutSeconds": 120,
    "extra": {
      "facets": ["human.verified", "age.over.21", "jurisdiction.in:US"],
      "nonce": "b41f...e0"
    }
  }]
}
Illustrative. Interface subject to change. Field names inside extra, payload and result are not final.

04 · Disclosure

What is proven, and to whom.

The proof establishes that a settlement exists, that it matches the stated terms, and that it has not been presented before.6 SILS also binds it to the merchant's challenge and to any facets the merchant requested. Everything else stays with the payer.

FactMerchantAuditor with a viewing proof
Payment settledLearnsLearns
Amount and asset meet the termsLearnsLearns
Recipient is this merchantLearnsLearns
Not presented beforeLearnsLearns
Bound to this requestLearnsNot relevant
Requested facets holdLearns, as yes or noLearns, as yes or no
Payer walletDoes not learnFor the specified payment
BalanceDoes not learnDoes not learn
Payment historyDoes not learnDoes not learn other payments
Identity documentsDoes not learnDoes not learn. Held off chain by verification partners.
Budget and remaining capDoes not learnWith the mandate itself

A proof of purchase intent tells the merchant the purchase is authorized. It does not reveal the budget or the urgency. An auditor holding the mandate can check it against the Mandate Anchor. Anyone else learns that an anchor exists.11 Viewing proofs for auditors In development

05 · Identity

Verified owners, soulbound agents, provable facets.

An owner verifies once, off chain. The chain records commitments, never attributes.5 The owner then creates agents as children of its .revo name: rob.revo owns shopping.rob.revo. Agent identities are soulbound. There is no transfer function. Revocation is permanent, and suspending a parent suspends every child.5 Each agent is mirrored read-only into the ERC-8004 registry with transfer disabled, so standard agent tooling can find it.5,18

Verification levels

LevelWhat is checkedWhat it unlocks
L1 BasicEmail and device bound, uniqueness checkedAgent creation, low-value settlement
L2 VerifiedGovernment identity checked against data partnersAge and jurisdiction facets, standard settlement
L3 EnhancedKYC and AML screening completedAccredited-investor facets, RWA-linked settlement
L3 EntityLegal entity verified with an authorized signatoryMerchant agents, bonded reputation pools

Levels are governance-set.5 SILS ID In development

Facets reference

A facet is one provable attribute of a verified identity. Each issuer commits credentials as leaves in a Merkle tree. The agent proves that a leaf satisfies the predicate and is not in the issuer's revocation set. Each proof carries a nullifier bound to the settlement, so it cannot be replayed.17 The initial set is governance-set.

FacetProvesIssued from
human.verifiedA verified person stands behind the agentOwner verification
entity.verifiedA verified legal entity stands behind the agentL3 Entity verification
age.over.18The owner is over 18L2 Verified
age.over.21The owner is over 21L2 Verified
jurisdiction.inThe owner is in a listed jurisdiction, for example jurisdiction.in:US,CA,GB6L2 Verified
jurisdiction.not.inThe owner is outside a listed jurisdictionL2 Verified
investor.accreditedThe owner meets accredited-investor criteriaL3 Enhanced
sanctions.clearThe owner passed sanctions screeningScreening at verification
reputation.aboveThe agent's score is above a threshold. The number is not revealed.4Reputation Registry
kya.certifiedThe agent holds a Know Your Agent certificationImported from KYA frameworks
mandate.coversThe purchase falls inside the owner's signed mandateMandate Anchor

Eleven initial facets.17 Facet proofs In development

On-chain state per identity

Facet rootOneCommitment to all credentials
ReputationOne pointerRead as a threshold proof
NullifiersPer settlementStops a proof being reused
Personal dataNoneA design rule, not a setting

Nothing else is stored per identity. Routine root updates aggregate on a short cadence, with a planning figure of every 10 minutes. Revocations and high-value changes post immediately.17

06 · Policy

Policy is enforced at three points.

The owner signs a standing Mandatum for each agent. Its minimum fields are a per-transaction cap, a per-period cap, allowed categories, an optional counterparty allowlist, a human-approval threshold, an expiry and a kill switch. It is stored off chain with its hash on chain. The agent never holds the owner's key.10

Off chain

Policy service

Evaluates every payment against the Mandatum before anything is signed. Outputs are signed and logged with the input hash and policy version.2

SILS PolicyIn development

On chain, per call

Session key hook

The agent holds a session key on an ERC-7579 account. A hook checks target, selector, asset, amount, rate and expiry on every call. A call outside the policy fails.10

Account modulesIn development

At settlement

The fund() gate

fund() reverts unless every required facet proof verifies, the mandate hash is anchored, any intent proof verifies and escrow covers the price.11

Settlement contractIn development
  • Netted micro-payments are checked as a batch against the caps on chain.11
  • Revocation posts immediately. A revoked identity or mandate fails at the next transaction, not the next batch.19
  • Purchase-specific authorizations use the AP2 form of Intent, Cart and Payment mandates. Their hashes are anchored with agent identity and expiry.10

07 · The chain

Revolution V2: a ZKsync OS rollup on Ethereum.

Revolution V2 is a regenesis onto ZKsync OS, not an upgrade of V1.12 ZKsync OS is EVM equivalent and works with standard EVM tooling.20 From public testnet onward, batches carry Airbender validity proofs. Airbender is a RISC-V proof system using STARK and FRI, with the final proof wrapped for on-chain verification.21,22 Data goes to Ethereum as blobs.

PropertySpecificationStatus
Node softwarezksync-os-server pinned at v0.23.0, protocol v31.012Devnet
ExecutionEVM equivalent. Standard solc. Foundry, Hardhat, viem, ethers and Otterscan work unchanged.12Devnet
Validity proofsAn Airbender proof on every batch from public testnet onward. Local devnets use fake provers.12In development
Data availabilityRollup. Data published to Ethereum in blobs. Validium was considered and not chosen.12Specified
L1 settlementBatches committed, proven and executed on Ethereum. Separate operator keys sign each step, held in a KMS.12Specified
AccountsERC-4337 EntryPoint v0.8 at the canonical address 0x4337084D9E255Ff0702461CF8895CE9E3b5Ff108. ERC-7579 modular accounts.10,23Devnet
Account abstractionZKsync OS does not support native account abstraction. Every V2 account uses ERC-4337.20Design fact
PasskeysP-256 precompile at 0x100.24 Passkey verification measured at about 31,000 gas.10Devnet
Gas sponsorshipCornerstone Paymaster, an ERC-4337 verifying paymaster. Identity, proofs, anchors, intents and escrow creation are free. Sponsorship fails open to user-paid gas. It never fails closed.3Devnet
SequencingOne active sequencer with a warm standby batcher.25Specified
Batch cadence1 hour at mainnet launch, with size-based sealing.25Planned
What this page does not publish. No finality time. Revolution does not state one, and SILS will not either. No throughput figures. Revolution's published measurements are devnet floor numbers with fake provers, which the whitepaper says are not capacity claims.26 SILS will publish figures measured on the public testnet with real proofs.

08 · Verifying nodes

Independent machines replay every block.

A verifying node is an external node run by a staked, approved operator. It replays every block and co-signs each batch before commit. The signatures add an execution check that is independent of the proof system, and they keep committed data on independent machines.27 Operators are admitted through a business identity on Revolution Name Service, an on-chain allowlist, a stake and governance approval.27

Testnet2 of 3Signers per batch
Mainnet3 of 5Signers per batch
IndependenceAt least 3Mainnet signers independent of Revolution and its development partner
SILS nodePlannedSubject to a definitive agreement

A SILS node gives SILS a locally verified view of settlements and nullifiers without trusting a third-party RPC.28 Whether SILS becomes one of the independent mainnet signers is subject to Revolution governance.

09 · Cross-chain

Each network is verified differently. SILS says how.

Revolution is the planned primary settlement network. SILS plans to verify USDC payments on Base, Ethereum and Solana. The verification method, and the trust it requires, is not the same on each one.

NetworkHow SILS verifies a paymentWhat you trustStatus
Revolution V2Native SILS Proof verifier and nullifier set on chain.Validity proof and EthereumIn development
EthereumStorage proof of the payment against a block hash.29 Historical block hashes extend the window to 8,191 blocks.30Ethereum consensusPlanned
BaseStorage proof against a trusted Base block hash. That hash can come from the output root posted to Ethereum31 or from a ZK light client.32Base output root or light client proofPlanned
SolanaSolana block headers carry no state root or transaction Merkle root.33 SILS will issue a signed attestation, labeled as an attestation, until a trustless path exists.The attestation signerPlanned

Every SILS Proof is single use, whatever network carries the payment.

10 · Proof system

Selection criteria, not a choice.

SILS has not chosen a proving system for SILS Proof. Candidates will be benchmarked on the Revolution public testnet before a choice. Design details will be published after counsel review. Airbender is the chain's batch prover. It is separate from SILS Proof.

  • Composition: payment, age, jurisdiction and mandate checks in one verification.6
  • Mobile proving time, because agents and owners prove on their own devices where possible.
  • Verification cost on Revolution. ZKsync precompiles include ecAdd, ecMul and ecPairing,24 which pairing-based verifiers need.34
  • Setup trust: per-circuit setups add a ceremony for every circuit change.
  • Audit maturity of the toolchain.

Reference figures for candidate systems

SystemSetupProof sizeEVM verificationPublished proving times
Groth16 (Circom)Per circuit3 group elements35About 181,000 gas for a 4-pairing check plus about 6,150 gas per public input, derived from precompile prices.36 SP1's Groth16 wrap measures about 270,000 gas.37Keccak256: 630 ms on iPhone 16 Pro, 744 ms on Galaxy S23 Ultra.38
UltraHonk (Noir)Universal14,592 bytes, padded39No primary figure found. To be measured on Revolution.Keccak256: 349 ms on iOS, 1,303 ms on Pixel 6.38
PLONK (SP1 wrap)No circuit-specific setupAbout 868 bytes37About 300,000 gas37About 90 s more than compressed proofs, server side.37
Ligero and sumcheckTransparentNot publishedNot designed for EVM verificationAbout 20 ms for ECDSA. A few hundred ms for mdoc on mobile.40 A candidate for credential issuance.

Figures come from public sources on different hardware and circuits. They are not comparable head to head and are not SILS measurements. SILS Proof In development Proving system not yet chosen.

11 · Threat model

Known threats and their mitigations.

Most rows come from the Revolution threat model.41 SILS adds rows for proof presentation and assistant access.

ThreatMitigation
Sybil farming of free callsSigned sponsorship vouchers tied to identity level. Per-identity allowance. Cost cap per operation. Fallback to paid gas.
Paymaster drainCall data decoded. Every target must be registered. delegatecall refused.
Compromised agent keyMandatum caps, parent kill switch, key rotation and a human-approval threshold.
Compromised parent keySmart account recovery. RNS suspension of the parent and all of its children.
Forged or replayed proofVerification against facet and revocation roots. Audited, versioned circuits. Nullifiers.
Proof replayed to another merchantEach proof is bound to the merchant's challenge nonce and is rejected elsewhere.
Reputation purchase or whitewashingSoulbound identities. Records follow the parent. Bonds forfeited on revocation under dispute.
Operator key compromiseSeparate commit, prove and execute keys held in a KMS. Rotation through governance.
Opaque off-chain operatorSigned outputs, on-chain verification, audit logs and replaceable keys.2
Prompt injection via offersOffers are structured records with hashed terms. Free text is excluded.
Token misuse by an MCP clientOAuth 2.1 with PKCE. Tokens are audience-bound and never passed through.9 Owner-signed actions go to a passkey approval page.42
Soundness bug in the chain proverVerifying nodes replay execution independently of the proof system.27 Production ZK systems have failed before.43

12 · Security commitments

Commitments before any value moves.

No audit of SILS or Revolution contracts or circuits is complete today. These are commitments, labeled as such. Circuit bugs such as under-constrained signals are a documented class of failure.44

CommitmentDetailStatus
Independent contract auditsEvery contract receives an independent audit before mainnet.41Planned
Circuit auditsCircuits are audited before activation, and versioned.41Planned
Timelock and multisigEvery privileged contract is owned by a timelock controlled by a multisig from day one.41Planned
Bounded guardian pauseA guardian can pause with bounded powers. A paymaster pause expires on its own.41Planned
No personal data on chainCommitments, roots and nullifiers. Nothing else. A design rule.2In development
Responsible disclosureA public disclosure policy and bug bounty. See the Trust page.Planned

Sources

  1. Revolution Network Whitepaper v2.0, October 2026, draft for review, §2.1 Design principles.
  2. Revolution Network Whitepaper v2.0, October 2026, draft for review, §5.1 Off chain decides, on chain verifies.
  3. Revolution Network Whitepaper v2.0, October 2026, draft for review, §7.5 Cornerstone services.
  4. Revolution Network Whitepaper v2.0, October 2026, draft for review, §8.7 The Intent Book and §8.8 Reputation, bonds, and disputes.
  5. Revolution Network Whitepaper v2.0, October 2026, draft for review, §6.1 Nomen, §6.2 Sigillum levels, §6.3 Agens identities.
  6. Revolution Network Whitepaper v2.0, October 2026, draft for review, §8.6 Payments on every rail.
  7. Revolution Network Whitepaper v2.0, October 2026, draft for review, §02 Network overview (Figure 1) and §8.1 The stack.
  8. MCP Specification 2025-11-25, "Transports." modelcontextprotocol.io/specification
  9. MCP Specification 2025-11-25, "Authorization." modelcontextprotocol.io/specification
  10. Revolution Network Whitepaper v2.0, October 2026, draft for review, §7.1 EntryPoint v0.8 and modular accounts, §7.3 Passkeys, §7.4 Mandatum.
  11. Revolution Network Whitepaper v2.0, October 2026, draft for review, §8.2 The Settlement contract, §8.3 Netting for micro-payments, §8.4 The Mandate Anchor and proof of intent.
  12. Revolution Network Whitepaper v2.0, October 2026, draft for review, §05 V2 architecture, §5.2 Execution, §5.3 Proving, §5.4 Settlement and data availability.
  13. Ethereum EIPs, "ERC-3009: Transfer With Authorization." eips.ethereum.org/EIPS/eip-3009
  14. x402 docs, "HTTP 402" (core concepts), accessed Oct 3, 2026. docs.x402.org/core-concepts/http-402.md
  15. x402 Foundation, "x402 Specification v2," Dec 9, 2025. github.com/x402-foundation
  16. x402 docs, "Migration Guide: V1 to V2," accessed Oct 3, 2026. docs.x402.org/guides/migration-v1-to-v2.md
  17. Revolution Network Whitepaper v2.0, October 2026, draft for review, §6.4 Facets and zero-knowledge proofs.
  18. Ethereum EIPs, "ERC-8004: Trustless Agents" (Draft). eips.ethereum.org/EIPS/eip-8004
  19. Revolution Network Whitepaper v2.0, October 2026, draft for review, §5.6 Traffic handling.
  20. ZKsync Docs, "ZKsync OS FAQs," accessed Oct 3, 2026. docs.zksync.io/zksync-network/zksync-os/faqs
  21. ZKsync Docs, "Airbender Overview," accessed Oct 3, 2026. docs.zksync.io/zk-stack/components/zksync-airbender
  22. L2BEAT, ZK Catalog: Airbender, accessed Oct 3, 2026. l2beat.com/zk-catalog/airbender
  23. Ethereum EIPs, "ERC-4337: Account Abstraction Using Alt Mempool." eips.ethereum.org/EIPS/eip-4337
  24. ZKsync Docs, "Precompiles," accessed Oct 3, 2026. docs.zksync.io/zksync-protocol/differences/pre-compiles
  25. Revolution Network Whitepaper v2.0, October 2026, draft for review, §5.8 Operations and cost.
  26. Revolution Network Whitepaper v2.0, October 2026, draft for review, §5.7 Performance and capacity.
  27. Revolution Network Whitepaper v2.0, October 2026, draft for review, §5.5 Verifying nodes and §11.4 Running a node.
  28. ZKsync Docs, "ZKsync Node," accessed Oct 3, 2026. docs.zksync.io/zksync-node
  29. Ethereum EIPs, "EIP-1186: RPC-Method to get Merkle Proofs" (eth_getProof). eips.ethereum.org/EIPS/eip-1186
  30. Ethereum EIPs, "EIP-2935: Serve historical block hashes from state." eips.ethereum.org/EIPS/eip-2935
  31. Base Docs, "Bridging and withdrawals," accessed Oct 3, 2026. docs.base.org/base-chain
  32. OpenZeppelin, "SP1 Helios Audit," May 12, 2025. www.openzeppelin.com/news/sp1-helios-audit
  33. Solana Developer Forum, "State of tinydancer / light clients on Solana," accessed Oct 3, 2026. forum.solana.com
  34. Noir Docs, "Generate a Solidity Verifier," accessed Oct 3, 2026. noir-lang.org/docs/how_to/how-to-solidity-verifier
  35. J. Groth, "On the Size of Pairing-based Non-interactive Arguments," IACR ePrint 2016/260. eprint.iacr.org/2016/260
  36. Ethereum EIPs, "EIP-1108: Reduce alt_bn128 precompile gas costs." eips.ethereum.org/EIPS/eip-1108
  37. Succinct, "SP1 proof types," accessed Oct 3, 2026. docs.succinct.xyz/docs/sp1/generating-proofs/proof-types
  38. Mopro, "Performance," accessed Oct 3, 2026. zkmopro.org/docs/performance
  39. Nethermind, "Making Noir Verification Cheaper on Stellar," Aug 4, 2026. www.nethermind.io/blog
  40. M. Frigo and a. shelat, "Anonymous credentials from ECDSA," IACR ePrint 2024/2010. eprint.iacr.org/2024/2010
  41. Revolution Network Whitepaper v2.0, October 2026, draft for review, §13 Security, compliance, and governance; §13.1 Threat model; §13.3 Governance.
  42. Revolution Network Whitepaper v2.0, October 2026, draft for review, §11.5 AI assistants.
  43. ZK Nation forum, "Incident Report: EcPairing commitment binding failure," Aug 2025. forum.zknation.io
  44. 0xPARC, "zk-bug-tracker," accessed Oct 3, 2026. github.com/0xPARC/zk-bug-tracker