consensus

Subscribe to this topic (RSS)

• Réti Open Pooling now holds 725M ALGO staked by 8,693 users across 225 validators — Réti, Algorand's permissionless staking protocol, now locks 725M ALGO from 8,693 stakers across 225 validators — more than double all of…
• 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…
• PoP turns Algorand validator participation into a dynamic, revocable NFT credential — PoP, an Allo'-team project, mints dynamic ARC-19 NFTs that track Algorand validator participation: NFD-avatar badges refreshed by a bot…