Bolyra
Copyright 2026 ZKProva Inc. and the Bolyra contributors.

This product includes software developed by ZKProva Inc.
(https://bolyra.ai).

Licensed under the Apache License, Version 2.0 (the "License").
See the LICENSE file at the repository root, or
https://www.apache.org/licenses/LICENSE-2.0, for the full license text.

================================================================================
THIRD-PARTY ATTRIBUTIONS
================================================================================

This product includes, depends on, or is derived from the following third-party
works. Each is distributed under its own license; the corresponding LICENSE
files are reproduced or referenced in the dependency tree (node_modules,
site-packages) at install time.

----------------------------------------
Cryptography and Zero-Knowledge Proofs
----------------------------------------

  circom (https://github.com/iden3/circom)
    Copyright (c) iden3. Licensed under GPL-3.0.
    NOTE: circom is the compiler. The compiled circuits in this repository
    (circuits/build/*.r1cs, *.wasm, *.zkey) are project artifacts of Bolyra
    and are not encumbered by circom's GPL-3.0 — Section 7 of GPL-3.0 and
    iden3's published clarification confirm that circuits compiled by circom
    are not derivative works of circom itself.

  circomlib (https://github.com/iden3/circomlib)
  circomlibjs (https://github.com/iden3/circomlibjs)
    Copyright (c) iden3. Licensed under GPL-3.0.
    Used as Circom-language template libraries (Poseidon, EdDSA, Baby Jubjub,
    SMT). Same Section 7 reasoning as circom.

  snarkjs (https://github.com/iden3/snarkjs)
    Copyright (c) iden3. Licensed under GPL-3.0.
    Used as a development/testing prover only. Production proving uses the
    rapidsnark binary (see below). Distribution paths that ship snarkjs
    reproduce its license verbatim.

  rapidsnark (https://github.com/iden3/rapidsnark)
    Copyright (c) iden3. Licensed under GPL-3.0.
    Native prover binary; redistributed at circuits/build/rapidsnark_prover
    on supported platforms. Not statically linked into Bolyra source.

  Semaphore Protocol (https://github.com/semaphoreprotocol/semaphore)
    Copyright (c) PSE / Ethereum Foundation. Licensed under MIT.
    @semaphore-protocol/circuits, @semaphore-protocol/contracts,
    @semaphore-protocol/core. The HumanUniqueness circuit reuses the
    Semaphore v4 trusted-setup ceremony at depth 20 (per its public terms).

  poseidon-solidity (https://github.com/chancehudson/poseidon-solidity)
    Copyright (c) Chance Hudson. Licensed under MIT.
    Solidity implementation of the Poseidon hash family.

----------------------------------------
Smart Contracts
----------------------------------------

  OpenZeppelin Contracts (https://github.com/OpenZeppelin/openzeppelin-contracts)
    Copyright (c) OpenZeppelin. Licensed under MIT.

  Hardhat (https://hardhat.org)
    Copyright (c) Nomic Foundation. Licensed under MIT.

----------------------------------------
JavaScript / TypeScript
----------------------------------------

  ethers.js (https://github.com/ethers-io/ethers.js)
    Copyright (c) Richard Moore and contributors. Licensed under MIT.

  jose (https://github.com/panva/jose)
    Copyright (c) Filip Skokan. Licensed under MIT.

  TypeScript (https://github.com/microsoft/TypeScript)
    Copyright (c) Microsoft Corporation. Licensed under Apache-2.0.

  mocha, chai, jest, ts-jest, circom_tester (test tooling)
    Copyright (c) respective authors. Licensed under MIT.

  dotenv
    Copyright (c) Scott Motte. Licensed under BSD-2-Clause.

----------------------------------------
Python
----------------------------------------

  pytest, ruff (development tooling)
    Copyright (c) respective authors. Licensed under MIT.

================================================================================
TRADEMARK NOTICE
================================================================================

"Bolyra" and the Bolyra wordmark are trademarks of ZKProva Inc.

References to "Anthropic", "OpenAI", "GPT", and other model-provider names
within examples (e.g., examples/provider-mock/) are included for illustrative
purposes only and do not imply endorsement, partnership, or licensing
relationship with the named entity. Mock provider keys in the test fixtures
are explicitly labeled "MOCK ONLY — NOT A REAL <PROVIDER> KEY".

================================================================================
PATENT NOTICE
================================================================================

Apache License 2.0 includes an express patent grant from contributors (§3).
By contributing to this repository under the Developer Certificate of Origin
sign-off, contributors grant the patent license described in §3 of the
Apache License 2.0 to all downstream users of the contribution.

ZKProva Inc. has filed United States provisional patent applications covering
inventions implemented in this repository. The patent grant in Apache-2.0 §3
applies to ZKProva Inc.'s contributions; downstream users of this software
under the Apache-2.0 license receive that patent license. ZKProva Inc.'s
own patent rights against parties who do NOT comply with the Apache-2.0
license terms are unaffected by that grant.
