What do Archipelo and Trail of Bits sell?

Archipelo sells Salmon. Trail of Bits sells Application Security, Blockchain and Cryptography.

Are Archipelo and Trail of Bits in the same category?

They share Software supply chain security and AI model and agent security. Archipelo's primary category is Software supply chain security and Trail of Bits's is Security consulting and advisory.

Who are Archipelo and Trail of Bits sold to?

From its own pages, Archipelo's Salmon addresses software in which autonomous agents, tools, runtimes, and controllers perform consequential actions. Trail of Bits describes review work for blockchain systems, covering smart contracts, nodes, and bridges.

Vendor comparison · 2 companies

Archipelo vs Trail of Bits

Archipelo develops Salmon, Execution Verification Infrastructure for establishing cryptographically verifiable execution history and state lineage. Trail of Bits sells security reviews and engineering services across application security, cryptography, blockchain, AI/ML, low-level systems, and software supply chain. CISO Tribune files both under Software supply chain security and AI model and agent security. This page sets the two records side by side: what each sells, where it is based, who owns and funds it, the customers it names and its recent news, each fact numbered to its source.

Change the companies

Up to four companies side by side.

Archipelo
Trail of Bits

Add a company

Archipelo vs Trail of Bits: Products, Customers and Funding Compared
What it sells
	ArchipeloArchipelo develops Salmon, Execution Verification Infrastructure for establishing cryptographically verifiable execution history and state lineage.archipelo.com	Trail of BitsTrail of Bits sells security reviews and engineering services across application security, cryptography, blockchain, AI/ML, low-level systems, and software supply chain.trailofbits.com
What it sells	Salmon^{[1][2][3][4][5]}Execution Verification Infrastructure for establishing cryptographically verifiable execution history and state lineage.	Application Security^[1][2][3]Code, cloud, and architecture review that finds the root cause and the fix for the whole bug class. Blockchain^[1][2][3]Review of every layer of a blockchain system, from smart contracts to nodes and bridges. Cryptography^[1][2][3]PhD-level cryptographers build and break real protocols.
Categories
Categories	Software supply chain security (primary category) AI model and agent security Insider risk management	Security consulting and advisory (primary category) AI model and agent security Static application security testing Software supply chain security
Headquarters
Headquarters	Not stated on its pages	Not stated on its pages
Founded
Founded	Not stated on its pages	Not stated on its pages
Ownership and funding
Ownership and funding	Not stated on its pages	Not stated on its pages
Named customers
Named customers	Not stated on its pages	Not stated on its pages
Recent news
Recent news	Not stated on its pages	Not stated on its pages
G2 and Gartner Peer Insights
G2 and Gartner Peer Insights	G2: Not stated on its pages Gartner Peer Insights: Not stated on its pages	G2: Not stated on its pages Gartner Peer Insights: Not stated on its pages
Who it fits
Who it fits	From its own pages, Archipelo's Salmon addresses software in which autonomous agents, tools, runtimes, and controllers perform consequential actions. Archipelo describes incident investigation teams as needing to work backward from a consequential state change toward the execution associated with it. Archipelo names systems that investigate, evaluate, govern, and depend upon execution as the systems for which verifiable execution history matters.	Trail of Bits describes review work for blockchain systems, covering smart contracts, nodes, and bridges. Trail of Bits describes security work on AI systems, from training data to deployed agent loops. Trail of Bits describes advising on the security challenges that come with advancing health research infrastructure.
Last verified
Last verified	September 30, 2026	October 19, 2026

Where they overlap

Archipelo and Trail of Bits are both filed under Software supply chain security and AI model and agent security.

Where they differ, field by field

Archipelo's primary category is Software supply chain security; Trail of Bits's is Security consulting and advisory.
Archipelo is also filed under Insider risk management. Trail of Bits is also filed under Static application security testing.
Archipelo lists Salmon. Trail of Bits lists Application Security, Blockchain and Cryptography.

What it sells: Archipelo

What Salmon does^{[1][2][3][4][5]}: Salmon is Execution Verification Infrastructure for establishing cryptographically verifiable execution history and state lineage. Execution is represented as a cryptographically signed event with explicit context. Salmon captures execution as it occurs upstream within supported environments.

What it sells: Trail of Bits

What Blockchain does^[1][2][3]: Trail of Bits reviews every layer of a blockchain system, from smart contracts to nodes and bridges, backed by Slither, Echidna, and Medusa. Trail of Bits maintains Slither, Echidna, and Manticore alongside the Building Secure Contracts guide.
What Cryptography does^[1][2][3]: Trail of Bits employs PhD-level cryptographers who build and break real protocols, from zero-knowledge proofs and MPC to post-quantum migrations. Trail of Bits pulls cryptographers, compiler people, and systems engineers onto the same review.

Questions about Archipelo and Trail of Bits

What do Archipelo and Trail of Bits sell?: Archipelo sells Salmon. Trail of Bits sells Application Security, Blockchain and Cryptography.
Are Archipelo and Trail of Bits in the same category?: They share Software supply chain security and AI model and agent security. Archipelo's primary category is Software supply chain security and Trail of Bits's is Security consulting and advisory.
Who are Archipelo and Trail of Bits sold to?: From its own pages, Archipelo's Salmon addresses software in which autonomous agents, tools, runtimes, and controllers perform consequential actions. Trail of Bits describes review work for blockchain systems, covering smart contracts, nodes, and bridges.

About Archipelo

Archipelo develops Salmon, Execution Verification Infrastructure for establishing cryptographically verifiable execution history and state lineage. Archipelo builds Salmon for autonomous multi-actor software systems. Archipelo, Inc. is the company developing and stewarding Salmon.^[1][3][4][5]

Archipelo states that autonomous agents, tools, runtimes, and controllers increasingly perform consequential actions themselves. Archipelo states that the resulting state alone cannot show which execution occurred, in what order, or how each state transition derived from the ones before it. Archipelo develops infrastructure that makes autonomous multi-actor software execution independently verifiable. Archipelo states that safe and reliable agents need verifiable evidence of their execution history.^[4][5]

Archipelo points to Git as showing the value of persistent, linked source code history. Archipelo says Execution Verification Infrastructure addresses a different problem, which is establishing a verifiable record of state transitions and the resulting state.

Archipelo describes execution as represented by a cryptographically signed event with explicit context. Archipelo states that Salmon captures execution as it occurs upstream within supported environments, not downstream after the event has already taken place. Archipelo states that Salmon does not visually or structurally manufacture execution continuity when execution continuity has not been established.

Archipelo states that agent generated changes can involve delegated execution, tools, subprocesses and multiple state transitions. Archipelo states that execution history provides a durable record of supported execution relationships to verify outcomes. Archipelo states that during incident investigation, teams need to work backward from a consequential state change toward the execution associated with it, to determine what caused the outcome.

One principle is that downstream systems should not be forced to establish execution history solely through retrospective inference where it can be captured during supported execution. Archipelo states that what an actor was permitted or instructed to do is distinct from what it actually executed. Archipelo states that machine-speed software systems require execution evidence that other software systems can consume and verify. Archipelo describes identity, policy, observability, security, engineering, and governance systems as solving adjacent problems.^[5]

Archipelo describes itself as a deep tech company building foundational infrastructure for verifiable autonomous systems.^[1][3][4][5]

Archipelo on the record

About Trail of Bits

Trail of Bits sells security reviews and engineering services across application security, cryptography, blockchain, AI/ML, low-level systems, and software supply chain. Trail of Bits staffs its multi-disciplinary security reviews across the whole SDLC with a team sized to the client's threat model rather than a fixed template.^[1]

Trail of Bits reviews AI systems end to end, from training data and MLOps pipelines to model artifacts, inference hardware, and deployed agent loops. For blockchain systems, Trail of Bits reviews every layer, from smart contracts to nodes and bridges, backed by Slither, Echidna, and Medusa.

Trail of Bits employs PhD-level cryptographers who build and break real protocols, from zero-knowledge proofs and MPC to post-quantum migrations. Trail of Bits offers security engineering as an embedded team that builds custom security tooling and remediates vulnerabilities across the client's pipeline, from development through deployment. Trail of Bits runs multi-year research that uncovers Internet-scale vulnerabilities and turns the findings into open-source tools, papers, and standards.^[1]

On an engagement, Trail of Bits scopes the work, reviews the code, explains every finding in context, and comes back to verify the fixes. Trail of Bits does not forward tool output, and a person reproduces and explains each issue, with the root cause and the path to a fix. Trail of Bits publishes most of its reports in the open at github.com/trailofbits/publications. Trail of Bits engagements ship custom CI guardrails, including Semgrep and CodeQL rules and fuzzers, so the same class of bug is caught automatically next time. Trail of Bits pulls cryptographers, compiler people, and systems engineers onto the same review.

Trail of Bits maintains more than 100 open-source projects, among them Slither, Echidna, Manticore, and the Building Secure Contracts guide. iVerify and Algo VPN started as Trail of Bits projects. Trail of Bits open-sourced Manticore, a symbolic execution framework used in DARPA research. Trail of Bits launched iVerify and co-founded the osquery Foundation with the Linux Foundation. Trail of Bits ported osquery to Windows for Facebook and helped move the project under the Linux Foundation.

Trail of Bits publishes training and reference material for developers. The Ruby Security Field Guide is hands-on training material covering vulnerabilities in Ruby and Rails applications, with exercises in both exploit development and defensive programming. Trail of Bits publishes guides for configuring and automating static and dynamic analysis tools. Trail of Bits also publishes a guide on securing the Model Context Protocol, covering the mcp-context-protector wrapper.^[4]

Trail of Bits evaluated how far a frontier large language model could go in offensive security tasks for the UK's Frontier AI Taskforce. Trail of Bits works with ARPA-H on the security challenges that come with advancing health research infrastructure. Trail of Bits competed to build autonomous vulnerability discovery systems as part of DARPA's Cyber Grand Challenge. Trail of Bits files public comments on US government requests for information, from secure-by-design to open-source software security. Trail of Bits published a security review of Offchain Labs (Mar 2025) that identified 1 issue, rated low.^[1][5]

Trail of Bits on the record

Sources

Archipelo full record

[1]archipelo.comArchipelo · archipelo.com · undated page, accessed September 30, 2026 · Tier A
[2]Archipelo - Making Autonomous Software Execution VerifiableArchipelo · undated page, accessed October 30, 2026 · Tier A
[3]Terms of Service — SalmonArchipelo, Inc. · published September 20, 2026 · Tier A
[4]Archipelo - This page has been retiredArchipelo · undated page, accessed October 30, 2026 · Tier A
[5]About — SalmonArchipelo · undated page, accessed November 10, 2026 · Tier A

Trail of Bits full record

[1]trailofbits.comTrail of Bits · trailofbits.com · undated page, accessed October 19, 2026 · Tier A
[2]About · Trail of BitsTrail of Bits · undated page, accessed November 10, 2026 · Tier A
[3]Services · Trail of BitsTrail of Bits · undated page, accessed November 10, 2026 · Tier A
[4]Ruby Security Field Guide — Guide · Trail of BitsTrail of Bits · undated page, accessed November 10, 2026 · Tier A
[5]Offchain Security Council Rotation · Trail of BitsTrail of Bits · undated page, accessed November 10, 2026 · Tier A

Spot a factual error? Request a correction.