Home / Crypto / Academy / How crypto actually works

Smart contracts: programs that hold money

Almost everything in crypto beyond simply holding a coin is a smart contract. Understanding what they can and cannot do explains most of the risk in the asset class.

MODULE 37 OF 64 LEVEL 1: HOW CRYPTO ACTUALLY WORKS 14 MIN

What one actually is

A smart contract is a program stored on a blockchain at an address. Send it a transaction and it runs, deterministically, on every node. Same input, same result, every time, everywhere.

It is not a legal contract and it is not smart. It is code that holds money and executes rules automatically. A vending machine is the usual analogy and it is a good one: put the right thing in, get the defined thing out, no human deciding.

What makes them genuinely different from normal software

The four properties that change everything
They hold value directly
Not a database entry
A contract can own millions in assets. There is no bank behind it, no insurance and no reversal. A bug is not a crash, it is a theft.
Usually immutable
Cannot be patched
Once deployed, most contracts can never be changed. That is the guarantee that makes them trustworthy, and it means a bug is permanent. You cannot ship a fix on Monday.
Public source
Anyone can read it
Verified contracts publish their code. That means good actors can audit it and attackers can study it at leisure, looking for one mistake, with the reward sitting right there.
Permissionless
Anyone can call them
There is no login and no gatekeeper. Every function anyone can reach is a potential entry point, and any function the author forgot to restrict is an open door.

What they cannot do, which people constantly assume they can

What an audit actually proves

An audit means a security firm read the code for a defined period and reported what they found. It is genuinely valuable and it is not a guarantee, and the industry routinely presents it as one.

Balancer v2 had been audited repeatedly over five years and still lost over 100 million dollars in November 2025 to a rounding direction error. KyberSwap lost around 47 million in 2023 from audited contracts. Cetus lost around 220 million in 2025. Audited means examined, not safe.

What actually correlates with safety is time in production holding real money. Uniswap v2 and v3 have held billions for years without a core exploit. That is not proof either, and it is far stronger evidence than a PDF.

Upgradeable contracts, and the trust they quietly reintroduce

Because bugs cannot be patched, many projects deploy a proxy: a permanent address that forwards calls to a logic contract which can be swapped out. Now bugs can be fixed.

It also means whoever controls the upgrade key can replace the logic entirely, including with logic that drains everything. The immutability guarantee is gone. That may be a reasonable trade, and you should know which situation you are in.

Questions to ask about any contract holding your money
Is it upgradeable?
Check for a proxy
If yes, ask who can upgrade it. A single wallet is a single point of failure. A multisig with a timelock is far better, because a timelock gives users notice to withdraw.
Who holds admin rights?
Read the owner
Renounced, a timelock, a multisig, or one anonymous wallet. This single question separates most rug pulls from most real projects.
How long has it held real money?
Time is evidence
A contract holding hundreds of millions for three years has been attacked continuously by people with strong incentives and survived.
Is the source verified?
On the explorer
Unverified means nobody can read what it does. There is essentially no legitimate reason for this.

Where this shows up for you personally

Every approval you grant is permission for a contract to move your tokens. Every swap, every deposit, every stake is you trusting code. That is why the approvals module in Level 2 matters so much: the contract does not need to be malicious today, only exploitable eventually, and your approval is still live.

READ NEXT

BEFORE YOU MOVE ON

Common questions

What is a smart contract in simple terms?

A program stored on a blockchain that holds money and runs automatically when someone sends it a transaction. It is not legal and not intelligent, it is code with funds attached.

Are audited smart contracts safe?

No. An audit means a firm reviewed the code for a period. Balancer was audited repeatedly over five years and still lost over 100 million dollars in 2025. Time in production holding real value is stronger evidence than an audit report.

What is an upgradeable contract?

A design where a permanent address forwards calls to logic that can be replaced. It allows bug fixes and means whoever holds the upgrade key can change the rules, so immutability no longer protects you.

Risk warning: crypto is highly volatile and largely unregulated. You can lose everything you put in. Nothing here is financial, investment or tax advice.

← PREVIOUS
Consensus: how thousands of strangers agree without a boss
NEXT →
Bitcoin specifically: what makes it different