Glossary

Participation nodes

Nodes run by ALGO holders to validate transactions and earn staking rewards; in Algorand, all token holders can run them with a minimum stake.

Related stories

• Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023 Runtime Verification machine-checked Algorand's no-fork safety in Coq and audited 13 ecosystem projects in 2021-22, then shipped KAVM for smart-contract proofs — a tool idle since August 2023.