Skip to content

LSV Blog

Endless possibilities

search
search
r/tezos — Formal verification and on‑chain governance — the unsung combo
Jun08Academic & Research

r/tezos — Formal verification and on‑chain governance — the unsung combo

Tezos built self‑amendment into its DNA, and formal verification as a safety net. That combination means upgrades happen without contentious forks, and smart contracts can…

r/algorand — Pure PoS was the right call — and it’s aging beautifully
Jun01Academic & Research

r/algorand — Pure PoS was the right call — and it’s aging beautifully

Almost everything that’s been built since Algorand launched has tried to replicate its consensus model, but few have matched its simplicity and security. Finality in…

r/cardano — Gradual, peer‑reviewed, and now actually delivering
May11Academic & Research

r/cardano — Gradual, peer‑reviewed, and now actually delivering

The criticism of Cardano has always been about pace, but that criticism misses the point. Slow, methodical development that survives academic scrutiny is how you…

Theme: Reblog by Moral Themes.

Powered by
Necessary cookies enable essential site features like secure log-ins and consent preference adjustments. They do not store personal data.
None
Functional cookies support features like content sharing on social media, collecting feedback, and enabling third-party tools.
None
Analytical cookies track visitor interactions, providing insights on metrics like visitor count, bounce rate, and traffic sources.
None
Advertisement cookies deliver personalized ads based on your previous visits and analyze the effectiveness of ad campaigns.
None
Unclassified cookies are cookies that we are in the process of classifying, together with the providers of individual cookies.
None
Powered by