• 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·3 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·2 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·3 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

The Stablecoin Surge: How CryptoXpress Is Leading the Charge Toward Financial Liberation

Naomi Antia Benson·55 reads

CryptoXpress: Because Managing Crypto Shouldn't Feel Like Filing Taxes

Prochino·72 reads

XPRESS Delisting on Gate.io: What’s Happening and What’s Next.

Patience Uyire·32 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
Sumayya Irfan
Sumayya Irfan
Rishav
Rishav
Marketer lab
Marketer lab
Astha Sharma
Astha Sharma
Deepak Kumar
Deepak Kumar