Skip to content

THIRD_PARTY.md

Latest commit

 

History

History
201 lines (164 loc) · 11.4 KB

THIRD_PARTY.md

File metadata and controls

201 lines (164 loc) · 11.4 KB
Raw

Third-Party Material

zkvmBlast is distributed under the MIT License (see LICENSE). This document records third-party material that the repository vendors, tracks as a submodule, derives from, or fetches at build/run time.

"How it is incorporated" uses these terms:

  • vendored: a copy of the upstream files lives in this repository.
  • submodule: tracked as a git submodule; source is fetched by git clone --recursive, not stored here.
  • derived: files in this repository were produced by transforming upstream source. The derivative is redistributed here and carries the upstream license.
  • fetched at runtime: downloaded by a setup script or package manager when you run the tooling. Not redistributed by this repository.
  • build dependency: resolved by Cargo from crates.io or a git remote.

Summary

Material Upstream License How it is incorporated Path
riscv-tests https://github.com/riscv-software-src/riscv-tests BSD-3-Clause submodule risc_experiments/lean_generator/riscv-tests
riscv-arch-test (test environment headers) https://github.com/riscv/riscv-arch-test Apache-2.0 and BSD-3-Clause (per file) vendored risc_experiments/lean_generator/archtest_env/
riscv-ctg https://github.com/riscv-software-src/riscv-ctg BSD-3-Clause fetched at runtime n/a
riscv-torture https://github.com/ucb-bar/riscv-torture BSD-3-Clause fetched at runtime n/a
riscv-dv https://github.com/chipsalliance/riscv-dv Apache-2.0 fetched at runtime n/a
AAPG https://gitlab.com/shaktiproject/tools/aapg MIT fetched at runtime (PyPI aapg) n/a
Cascade https://github.com/cascade-artifacts-designs/cascade-meta GPL-3.0 fetched at runtime n/a
TheAlgorithms/Rust https://github.com/TheAlgorithms/Rust MIT derived (mutated) rust_corpus/corpus/native/
riscv-pk (compiled proxy kernel) https://github.com/riscv-software-src/riscv-pk BSD-3-Clause vendored (compiled binary) risc_experiments/lean_generator/bin/pk-rv32im
zkVM SDKs and executors see zkVM and toolchain dependencies Apache-2.0 build dependency Cargo.toml, */Cargo.toml
zkrustsmith https://github.com/StefanosChaliasos/zkrustsmith see upstream submodule zkrustsmith
execution-spec-tests (fork) https://github.com/varunthakore/execution-spec-tests see upstream submodule execution-spec-tests
SP1 https://github.com/succinctlabs/sp1 Apache-2.0 submodule risc_experiments/sp1

RISC-V test and program-generation suites

The RISC-V harness (risc_experiments/lean_generator/) diffs zkVM executors against Spike over programs drawn from seven suites.

Vendored or submoduled here:

  • riscv-tests is a git submodule at risc_experiments/lean_generator/riscv-tests. Upstream carries no repository level SPDX marker; its LICENSE file is the 3-clause BSD license, "Copyright (c) 2012-2015, The Regents of the University of California (Regents). All Rights Reserved." The submodule is not vendored, so no upstream source is redistributed in this repository's tree.

  • riscv-arch-test test-environment headers are vendored under risc_experiments/lean_generator/archtest_env/. Upstream is tri-licensed (COPYING.APACHE, COPYING.BSD, COPYING.CC) and the vendored files carry per-file SPDX identifiers:

    File SPDX Copyright
    encoding.h BSD-3-Clause Copyright (c) 2023 RISC-V International (auto-generated from https://github.com/riscv/riscv-opcodes)
    rvtest_trap_handler.h BSD-3-Clause Copyright (c) 2020-2023. RISC-V International. All rights reserved.
    rvtest_macros_vector.h BSD-3-Clause Copyright (c) 2023. RISC-V International. All rights reserved.
    check_defines.h BSD-3-Clause Jordan Carlin, December 2025
    rvtest_setup.h, utils.h BSD-3-Clause none stated
    derived_config.h, riscv_arch_test.h, rvtest_failure_code.h, signature.h Apache-2.0 none stated

    airstub.S, link.ld, link_airbender.ld, rvmodel_macros.h, rvtest_config.h, rvtest_macros.h and sail_macros.h carry no SPDX header. The RVMODEL_* macro and linker-script files are the model-specific portion of the arch-test framework that each target is expected to supply, and are written or adapted for this project's zkVM targets.

Fetched at runtime, not redistributed. The sibling riscv-seeds-lab repository clones or installs these when you run setup_and_generate.sh; no upstream source is stored in this repository:

rust_corpus: derivatives of TheAlgorithms/Rust

The 172 crates under rust_corpus/corpus/native/ are mutated derivatives of functions harvested from https://github.com/TheAlgorithms/Rust. The pipeline (described in rust_corpus/README.md) clones that repository, filters for small no_std-friendly functions with fixed-width integer signatures, applies AST-level mutation operators (AOR, ROR, BVM, CR), and packages each surviving mutant as a standalone crate. The packaged crates are therefore modified copies of MIT-licensed upstream code and are redistributed under that license.

rust_corpus/seed_harvester/harvester_config.toml additionally declares two sources that are present in the configuration but disabled (enabled = false), so no code from them is present in the corpus:

If either is enabled for a future harvest, the resulting seeds carry that upstream's license and this document must be updated.

TheAlgorithms/Rust license notice

The following is the license of https://github.com/TheAlgorithms/Rust, reproduced verbatim, and applies to the code under rust_corpus/corpus/native/ that derives from it:

MIT License

Copyright (c) 2019 The Algorithms

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.

riscv-pk: compiled proxy kernel binary

risc_experiments/lean_generator/bin/pk-rv32im is a compiled RV32 build of the RISC-V proxy kernel from https://github.com/riscv-software-src/riscv-pk (a statically linked 32-bit RISC-V ELF). It is redistributed here in binary form only. riscv-pk is under the 3-clause BSD license; clause 2 of that license requires the notice below to accompany binary redistribution.

Copyright (c) 2013, The Regents of the University of California (Regents).
All Rights Reserved.

Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
1. Redistributions of source code must retain the above copyright
   notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
   notice, this list of conditions and the following disclaimer in the
   documentation and/or other materials provided with the distribution.
3. Neither the name of the Regents nor the
   names of its contributors may be used to endorse or promote products
   derived from this software without specific prior written permission.

IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT,
SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS, ARISING
OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF REGENTS HAS
BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
PURPOSE. THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF ANY, PROVIDED
HEREUNDER IS PROVIDED "AS IS". REGENTS HAS NO OBLIGATION TO PROVIDE
MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.

zkVM and toolchain dependencies

These are the systems under test and the libraries used to drive them. All are resolved by Cargo at build time from crates.io or a git remote; none are vendored. See the relevant Cargo.toml for pinned revisions and tags.

Project Upstream License Used by
SP1 https://github.com/succinctlabs/sp1 Apache-2.0 risc_experiments/sp1-executor, risc_experiments/sp1-executor-5.2.4, risc_experiments/sp1 (submodule)
Airbender https://github.com/matter-labs/zksync-airbender Apache-2.0 risc_experiments/airbender-executor
Pico https://github.com/brevis-network/pico Apache-2.0 risc_experiments/pico-executor
OpenVM https://github.com/openvm-org/openvm Apache-2.0 risc_experiments/lean_generator/openvm_utils/
RISC0 https://github.com/risc0/risc0 (via the risc0-zkvm crate) Apache-2.0 risc_experiments/lean_generator/risc0_utils/
ERE https://github.com/eth-act/ere Apache-2.0 harness (root Cargo.toml; the pinned revision resolves via the eth-applied-research-group/ere remote)
zkevm-benchmark-workload https://github.com/eth-act/zkevm-benchmark-workload Apache-2.0 convert-fixtures, native/reth
reth https://github.com/paradigmxyz/reth Apache-2.0 native/reth

Precompile patch crates

When --with-precompiles is passed, harness/src/precompiles.rs writes a [patch.crates-io] section into the generated guest crate that redirects common cryptography crates to zkVM-optimized forks. Those forks are fetched by Cargo when the guest is built and are not redistributed here. They live under the https://github.com/sp1-patches and https://github.com/risc0 organizations and carry their own licenses; see harness/src/precompiles.rs for the full list with pinned tags.