Coldcard Theft Reflection: Source Code Visibility Does Not Equal Security

marsbitPublicado a 2026-08-23Actualizado a 2026-08-23

Resumen

The article examines the open-source vs. closed-source debate in crypto, prompted by a theft of over $100M in Bitcoin from Coldcard hardware wallets. It clarifies key terminology: true "Free and Open Source Software" (FOSS) grants four essential freedoms (use, study, share, modify), while "source available" code, like Coldcard's firmware, may have usage restrictions. The piece argues that visible source code alone does not guarantee security; actual safety depends on the economic incentives for thorough, ongoing review by skilled individuals. Using Bitcoin Core as a model, the article describes a successful, transparent open-source development culture built on public review and consensus. It contrasts this with the Coldcard case, where a critical bug in a lightly-reviewed, source-available library went undetected for years, highlighting a "tragedy of the commons" scenario where assumed but absent scrutiny creates vulnerability. The economics of licensing are crucial: restrictive licenses can limit the pool of motivated commercial reviewers. Finally, the article explores AI's impact. It cites the Bitcoin Red Team's use of AI to rapidly audit codebases and find vulnerabilities at scale, demonstrating a powerful new tool for security. However, AI also floods projects with low-quality code, straining maintainers. The piece concludes that in high-stakes crypto, only well-audited projects—whether open or closed-source—can withstand evolving threats, with AI both challenging and a...

Author: Juan Galt

Compiled by: AididiaoJP, Foresight News

The debate between open source and closed source has persisted for over a decade in Bitcoin and the broader crypto industry. Bitcoin proponents have long argued that the global financial infrastructure must be built publicly, where transparency and auditability are non-negotiable principles when real money is at stake. However, the application layer and traditional finance have often not been convinced.

The recent theft involving the Coldcard hardware wallet has thrust the true meaning of "open source" into the spotlight. Users lost over $100 million worth of Bitcoin (more than 1500 BTC). This incident reveals an awkward reality: even many die-hard Bitcoin users have a rather limited understanding of the philosophy of open source software development and its failure modes.

Principles and Terminology

The terminology surrounding open source is not simple. Free and Open Source Software (FOSS) and Free/Libre and Open Source Software (FLOSS) refer to software that complies with formal definitions of user freedom.

The Free Software Foundation (FSF) defines "free software" with four essential freedoms:

  • Freedom 0: The freedom to run the program as you wish, for any purpose.
  • Freedom 1: The freedom to study how the program works, and change it so it does your computing as you wish (access to the source code is a precondition for this).
  • Freedom 2: The freedom to redistribute copies so you can help others.
  • Freedom 3: The freedom to distribute copies of your modified versions to others (access to the source code is a precondition for this).

The FSF emphasizes that "free" refers to freedom, not price. The common mantra among open source advocates is: "'Free' as in 'free speech', not 'free beer.'"

The Open Source Initiative's (OSI) Open Source Definition lists ten additional practical criteria, including: free redistribution without royalties, the source code must be provided in a form suitable for modification, allowance for creating and distributing derivative works, and no discrimination against persons, groups, or fields of endeavor (including commercial use). Only licenses that fully satisfy all ten criteria can be formally termed "open source."

"Source available" or "source viewable" is a different matter. Code may be publicly readable, but the license may restrict commercial sales rights. Coldcard's firmware is an example—it uses the MIT license but with an additional license condition. This clause explicitly prohibits "selling" the software, defined as providing it to a third party for a fee or other consideration, where the value of the product or service is entirely or substantially derived from the software itself. In other words, Coldcard firmware cannot be used for commercial purposes.

The license condition states plainly: "Is this Open Source? No." It notes that with this added clause, the software meets many elements of the open source definition but not all, and thus should not be called open source.

These distinctions are important. Making source code public merely creates the possibility of inspection; granting all the rights in the free software or open source definitions is what makes FOSS. However, sporting an "open source" badge is not the end goal itself. Critics argue that the commercial freedom within open source unlocks the incentive for third parties to test and review code, incentives which might otherwise not exist.

The four freedoms are the philosophical core of open source. In practice, it's built on an economic assumption: that enough motivated people will actually review the code. When this assumption fails, the system plays out a classic "tragedy of the commons"—a shared resource is overused or neglected due to individual short-term self-interest, leading to overall degradation. Everyone has an incentive to take a little more (or contribute a little less), and the collective resource suffers. Sometimes incentives are aligned, sometimes they are not at all.

A Bitcoin developer put it more bluntly: "Using test mocks and stubs with open source code is irresponsible and shortsighted. Open source code is considered safe because anyone can verify it. If you're not willing to do the bare minimum testing for the functionality you actually depend on, you're being a parasite."

Therefore, open source itself does not automatically create security; it only creates the possibility of verification. Whether verification actually occurs depends on incentives, skill, and attention. Historically, good FOSS becomes more robust as vulnerabilities are found, disclosed, and fixed, forming a solid foundation for others to build upon. The Linux kernel is a prime example—it powers the vast majority of the world's servers, cloud infrastructure, Android devices, and embedded systems, making it one of the most widely deployed pieces of software ever.

Bitcoin Core: A Real-World Model of Open Source

Bitcoin Core, as the reference implementation of Bitcoin, is another classic case of large-scale, purely open-source software operating in reality. It uses the MIT license, and its development process is designed to be public from the ground up.

Anyone can submit a pull request. Code review is the primary filtering mechanism and a recommended entry path for newcomers. Reviewers use formal terminology: Concept ACK (agree with the goal), Approach ACK (agree with the goal and method), ACK with a specific commit hash (tested and approved for merging), or NACK (disagree, with technical reasoning required).

Maintainers weigh contributor consensus against technical merit before merging. The bar is higher for consensus-critical changes, typically requiring a Bitcoin Improvement Proposal (BIP) and years of thorough discussion on the bitcoin-dev mailing list and IRC.

There is no privileged class of "Bitcoin Core developers." Trust is earned by demonstrating competence over the long term. Maintainers exist only out of practical necessity—to audit merged code, manage releases, perform basic vetting—but the output is pure open-source code that anyone can inspect, compile, fork, or run. Those whose code is merged into Bitcoin Core are typically referred to as Bitcoin Core contributors.

Long-time open-source Bitcoin developer Calle recently summarized: "People who think Core is some kind of shadowy, opaque operation are either too lazy or too stupid to bother looking for themselves. Everything they do is public, anyone can participate, and the end product is purely open-source code."

Funding for this work primarily comes from non-profit and grant structures, such as Brink, OpenSats, Spiral, etc., rather than traditional corporate product roadmaps. Technical discussions happen on the public bitcoin-dev mailing list and the #bitcoin-core-dev IRC channel on Libera Chat. Proposals are scrutinized rigorously before and after pull request submission. Issues and pull requests on GitHub often have comment histories spanning a decade. The result is a development culture that prioritizes correctness and auditability over speed or commercial feature iteration.

The Economics of Open Source

The majority of users of open-source or source-available software never read the code themselves. They rely on the assumption that "someone else is reviewing." In the Coldcard case, a critical entropy flaw lay dormant in the public firmware for roughly five years before it was exploited and thus discovered.

This bug was introduced during a major rewrite in 2021. That rewrite also removed the remaining GPL code derived from Trezor. Trezor, the first hardware wallet, is currently the second-largest in the self-custody industry. The core problematic library was libngu, which replaced trezor-crypto but received minimal external review—after over five years of production use, it had only 7 stars and fewer than 20 forks. In contrast, trezor-crypto has 512 stars and 212 forks, while the more modern trezor-firmware has 793 forks and 1800 stars. Source availability alone did not bring the significant scrutiny needed. Critics argue this is because other funded, capable for-profit companies were restricted from using it, lacking commercial incentive. Note: Star and Fork are core metrics on GitHub measuring a project's popularity and activity. Star means favoriting/liking; Fork means copying the repository.

The stakes in the Bitcoin space are far higher than in most software domains. A critical flaw can be directly converted into liquid funds on the open market. The first half of the stolen Coldcard funds remains in a few addresses; the hacker might be caught one day, but subsequent copycats were more cautious, and some have successfully stolen more Bitcoin and laundered it (according to Galaxy Research, total losses reached at least 1700 BTC). Bitcoin's censorship resistance and immutable transactions provide both a powerful incentive for attackers and a Darwinian filter: only projects that continuously attract high-quality review, and whose users and companies take protective measures seriously, can survive in the long run.

License choice shapes these incentives. A pure open-source license maximizes the pool of potential reviewers and forks. A restricted "source-available" license, while reducing commercial "free-riding," also shrinks the group of people who simultaneously have the legal right and the economic motive to invest deep attention. Consequently, the burden of code review falls back on the company itself, making it somewhat closer to closed-source than open-source.

How AI is Changing Open-Source and Closed-Source Development

Artificial intelligence is altering the balance between open-source and closed-source.

Following the Coldcard incident, a volunteer project called Bitcoin Red Team, led by developers like Calle and Rob Hamilton of AnchorWatch and supported by OpenSats, used cutting-edge AI models to scan hundreds of open-source Bitcoin codebases. In an intensive period, the team submitted thousands of findings, with dozens rated as critical or high severity, covering hundreds of projects. Responsible disclosure was given to maintainers first, then made public. This demonstrated that systematic AI-assisted review can find vulnerabilities at a scale and speed previously unattainable for human teams.

Notably, Bitcoin Red Team found that Chinese open-source weight models were far more reliable than closed-source American models. Even American models with web access and top-tier permissions refused to answer Bitcoin Red Team's queries, which American developers found regrettable.

Meanwhile, the flood of AI-generated code is creating new "denial-of-service" pressure on FOSS maintainers. Reviewing AI output often takes more time than generating it. Some open-source projects outside Bitcoin have begun restricting their issue trackers or enacting strict anti-AI contribution rules, just to maintain basic operations.

On the closed-source side, the traditional advantage of "security through obscurity" is being eroded. Modern AI models can read, deobfuscate, probe endpoints, and reason about code at incredible speeds. The practical difference between open-source and closed-source now mainly boils down to backend code that never ships. Closed-source code ultimately relies on the quality of professional audits, the speed of patch deployment, and incentive structures that keep those with access motivated to review seriously.

Bitcoin and the broader crypto industry are placing unusual pressure on free and open-source software. Real monetary value, adversarial economics, and now AI-scale analysis are forcing software models to evolve. Returning to pre-digital analog systems is hardly an option for the infrastructure underpinning modern society. Only projects that are thoroughly audited stand a chance of surviving under the combined pressure of AI-assisted hackers and digital-first finance.

Preguntas relacionadas

QAccording to the article, what is the key difference between 'open source' software and 'source available' software, as illustrated by the Coldcard firmware?

AThe key difference lies in the license and associated user freedoms. 'Open source' software, as defined by organizations like the OSI, grants users all freedoms including free redistribution, access to source code for modification, and the right to create and distribute derivative works without discrimination. Coldcard's firmware is 'source available' but uses an MIT license with an added clause prohibiting commercial use (selling the software). This restriction means it does not meet all the criteria to be formally called 'open source' software.

QWhat does the article suggest is the fundamental economic assumption behind the security of open-source software, and what can happen when this assumption fails?

AThe fundamental economic assumption is that there will be enough motivated individuals with the necessary skills to actually review and audit the code. When this assumption fails, the system can experience a 'tragedy of the commons,' where the shared resource (the code's security) is neglected as individuals act in their own short-term self-interest without contributing to its maintenance. This leads to degradation, where vulnerabilities can remain undiscovered and unpatched for long periods.

QHow does the development process of Bitcoin Core, as described in the article, exemplify a 'pure open-source' model in practice?

ABitcoin Core exemplifies a pure open-source model through its fully transparent and permissionless development process. Anyone can submit pull requests, and code review by peers is the primary filtering mechanism. Decisions are made based on consensus and technical merit in public forums like the bitcoin-dev mailing list and IRC channels. There are no privileged 'Bitcoin Core developers'; trust is earned through demonstrated long-term competence. The project is funded by non-profits and grants, prioritizing correctness and auditability over commercial speed.

QWhat problem did the 'source available' model present in the case of Coldcard, according to the article's analysis?

AThe 'source available' model with a restrictive license (prohibiting commercial use) presented an incentive problem. It limited the pool of potential reviewers who had both the legal right and a strong economic motive (like commercial companies) to deeply invest time and resources in auditing the code. As a result, critical external review was scarce. The bug in the libngu library remained in the public firmware for about five years with very little external scrutiny, as evidenced by its low engagement on GitHub (only 7 stars) compared to fully open alternatives.

QHow is Artificial Intelligence (AI) changing the dynamics between open-source and closed-source software development, as discussed in the article?

AAI is changing the dynamics in two major ways. First, it empowers scalable security auditing. Projects like Bitcoin Red Team use AI models to rapidly scan codebases and identify vulnerabilities at a scale and speed previously unattainable by human teams. Second, it erodes the traditional security-by-obscurity advantage of closed-source software, as AI can efficiently analyze and probe code. However, AI also creates new challenges, such as overwhelming open-source maintainers with a flood of AI-generated code that is time-consuming to review, and causing some AI models (noted as US-based in the article) to restrict answers to certain security-related queries.

Lecturas Relacionadas

Jensen Huang's Daughter: From Chef to an $8 Million Annual Salary

Madison Huang, daughter of NVIDIA founder Jensen Huang, recently made a rare public appearance in Beijing during the 2026 World Robot Conference. As the Senior Director of Product and Technology Marketing for NVIDIA's Physical AI Platform, with an annual salary of approximately $1.2 million, her visit focused on evaluating leading Chinese robotics companies like UBTech, Unitree, and others. This highlights NVIDIA's strategic interest in the burgeoning Chinese robotics ecosystem, a key battleground for the development of Physical AI—technology that enables machines to understand and interact with the physical world. Huang's career path is unconventional. Initially pursuing her passion, she studied culinary arts, worked as a chef, and later held a marketing role at LVMH. She joined NVIDIA as an intern in 2020 after completing an MBA, quickly rising through the ranks. Her brother, Spencer Huang, followed a similar path, closing a cocktail bar he co-founded to also join NVIDIA, where he now works on robotics software. Jensen Huang has publicly addressed nepotism concerns, humorously noting that some "second-generation" employees outperform their parents. The conference itself underscored China's vibrant robotics sector, marked by Unitree's recent blockbuster IPO and a pipeline of companies preparing to go public. While hardware development and manufacturing are advancing rapidly, industry leaders like Wang Xingxing of Unitree point to the next critical challenge: developing the "brain" or AI that allows robots to perform diverse, unseen tasks based on simple instructions. With massive manufacturing scale and diverse real-world testing scenarios, China is positioned as a central player in the global race to define the future of robotics.

marsbitHace 52 min(s)

Jensen Huang's Daughter: From Chef to an $8 Million Annual Salary

marsbitHace 52 min(s)

He Gave Wang Xingxing the First 2 Million, Now Serves as Chairman for the Next 'Unitree'

On August 19, 2024, Unitree Robotics, China's "first humanoid robotics stock," went public. Its founder, Wang Xingxing, started a decade ago with his self-developed XDog. In 2016, at a critical funding juncture, he received his first angel investment of 2 million RMB from Yin Fangming. This bet has since yielded a return of over 140 times. Yin Fangming is more than just a key investor. He was a co-founder of the AI robotics company ROOBO, whose own venture ultimately struggled. This firsthand experience with the hardware challenges in robotics gave him unique insight when backing Unitree, a company renowned for its hardware R&D and cost control. While his own company faltered, Yin continued investing shrewdly. He partially cashed out some Unitree shares early, reinvesting the proceeds into sectors like energy (e.g., solid-state battery firm TaiLan) and commercial aerospace (e.g., small launch vehicle developer XianDeng Aerospace). However, his most significant move after Unitree is his deep involvement with Galaxy General, a leading embodied AI unicorn. In July 2024, Yin stepped from behind the scenes to officially become its Chairman, indicating a role far beyond a typical investor. This comes as Galaxy General is viewed as preparing for future capital moves. Yin's career has consistently been ahead of the curve—from mobile internet to AI and robotics. Known for his foresight and low profile, he declined an interview for this story, offering only a statement encouraging support for visionary entrepreneurs like Wang Xingxing.

marsbitHace 1 hora(s)

He Gave Wang Xingxing the First 2 Million, Now Serves as Chairman for the Next 'Unitree'

marsbitHace 1 hora(s)

Mysterious "Ox Alpha" Large Model Goes Viral with Limited-Time Free Access

A mysterious anonymous AI model named "Ox Alpha," nicknamed "Cow is Coming" by Chinese netizens, has appeared on OpenRouter, sparking widespread speculation. The model offers a 1 million token context, supports text, image, and video inputs, can call tools, and is currently free. Its standout feature is strong coding ability. Initial tests on the DeepSWE benchmark, which evaluates real-world software engineering tasks, showed an 80% pass rate on a subset of tasks, reportedly nearing top-tier code models. However, follow-up tests yielded a 63% score, with variations attributed to different task sets and configurations. The model's true developer is a major topic of debate. The prevailing theory points to Zhipu AI's unreleased GLM-5.3 Flash or its multimodal variant. Evidence cited includes identical visual token consumption patterns with GLM-5V-Turbo for videos, a consistent offset in text token counts compared to GLM-5.3, and similar behavioral traits like refusing audio processing. Zhipu has a precedent of anonymous testing. Simultaneously, another anonymous model, "korrine," appeared on Code Arena, with guesses ranging from Moonshot's Kimi K3.1 to models from Qwen or MiMo, adding to the industry's guessing game. This trend of anonymous "undercover" testing allows for unbiased performance evaluation in platforms like Arena and provides real-world, high-pressure testing through tools like OpenRouter before official release. It also serves as an effective marketing tactic, prolonging discussion through suspense. If Ox Alpha is indeed a "Flash" model, its performance raises expectations for the full-scale version's potential.

marsbitHace 6 hora(s)

Mysterious "Ox Alpha" Large Model Goes Viral with Limited-Time Free Access

marsbitHace 6 hora(s)

Trading

Spot
活动图片