• Feed
  • Discussions
cvl

cvl

#cvl
0 followers·3 articles

cvl

#cvl·0 followers·3 articles
cvl
Lilian Cariou
Lilian Cariou
rasengansec.hashnode.dev·Apr 06, 2025
Apr 06, 2025

Learning CVL Language (Part 3)

Key Formal Verification Concepts for Smart Contracts 1. Logical Implications and Direction The direction of logical implications is crucial. Consider a rule restricting actions to owners: // Incorrect: Only checks if owners can change supply assert o...

Learning CVL Language (Part 3)
Discuss·4 reads
cvl
Lilian Cariou
Lilian Cariou
rasengansec.hashnode.dev·Apr 04, 2025
Apr 04, 2025

Learning Certora Prover (Part 2)

Preconditions By adding preconditions, one can eliminate infeasible states and put constraints on values. The Rule totalSupplyAfterMintWithPrecondition is a copy of totalSupplyAfterMint with an additional constraint, shown in emphasis below: /** @tit...

Learning Certora Prover (Part 2)
Discuss·3 reads
formalVerification
Lilian Cariou
Lilian Cariou
rasengansec.hashnode.dev·Mar 29, 2025
Mar 29, 2025

Learning Certora Prover (Part 1)

Introduction Predicates, propositional logic and quantifiers are basic concepts of mathematical logic useful and needed when doing formal verification. Propositional Logic : basis of mathematical logic, dealing with boolean variables and operations....

Learning Certora Prover (Part 1)
Discuss·6 reads
cvl

Changelog

New steps component and improved accessibility on Hashnode's blog and docs product.

New steps component and improved accessibility on Hashnode's blog and docs product.

Nov 05, 2024·
new

Trending Articles

STON.fi: The Next-Gen DEX Powering TON Blockchain DeFi

Tommy williams·18 reads

AEON Pay: From Crypto Wallets to Everyday Life

Prochino·13 reads

Empowering the Decentralized Future: How Endless Merges Web2 Ease with Web3 Sovereignty

Edimavouge·12 reads

Top commenters this week

Writing Challenges

#2Articles1Week Challenge

Become better at technical writing; accept Hashnode's writing challenge for four weeks.

#2Articles1Week Challenge
#WomenWhoTech

Share your story, achievements, or experiences as a woman, non-binary folk in tech or as a #WomenWhoTech ally!

#WomenWhoTech
Self Starter

Publish your first article on Hashnode and become a self starter!

Self Starter
Serial Blogger

Publish an article every day for 7 days and earn a cool serial blogger badge!

Serial Blogger
Talk of the town

Write a story that drives amazing engagement on Hashnode and become the talk of the town!

Talk of the town
Word Warrior

Write an in-depth article on your Hashnode blog that's more than 2000 words and become a word warrior!

Word Warrior
Buy Old Gmail Accounts
Buy Old Gmail Accounts
Anik Sikder
Anik Sikder
How To Buy USA Verified Chime Accounts
How To Buy USA Verified Chime Accounts
Sonu Goswami
Sonu Goswami
Ariska Hidayat
Ariska Hidayat