Open main menu
about
Company
Mission and Vision
News
Team
Careers
Publications
Presentations
Videos
FAQ
products
K
Firefly
ERCx
Embedded Systems
solutions
Blockchain Advisory Services
Smart Contract Verification
Smart Contract Analysis
NFT Checker
Protocol Verification
Formal Design and Modeling
The IELE Virtual Machine
Partnerships
Partnerships
Algorand
Urbit
research
events
Formal Verification in the Ethereum Ecosystem
Arepas, Cumbia and Security
contact
Contact Us
Media Kit
blog
All
Categories
Audits
K
News
Smart Contracts
Software Development
Verification
RV-Match
RV-Monitor
RV-Predict
Partners
Algorand
Cosmos
Elrond
Ethereum
IOHK
PlatON
Tezos
Author: Daejun Park
Formally Verifying Finality in Gasper: The Core of the Beacon Chain
by
Musab Alturki
July 15th, 2020
Read More
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
by
Daejun Park
January 20th, 2020
Read More
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
by
Musab Alturki
October 22nd, 2019
Read More
How Formal Verification Could Help to Prevent Gridlock Bug
by
Daejun Park
July 11th, 2019
Read More
Formal Verification of Ethereum 2.0 Deposit Contract (Part I)
by
Daejun Park
June 12th, 2019
Read More
ERC777-K: Formal Executable Specification of ERC777
by
Denis Bogdănaș
September 21st, 2018
Read More
Formal Verification of ERC20 Contracts
by
Brian Marick
August 15th, 2018
Read More
How Formal Verification of Smart Contracts Works
by
Brian Marick
July 20th, 2018
Read More