evm-semantics vs avm-semantics

evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM) (by runtimeverification)

Suggest topics

Source Code

Suggest alternative

Edit details

avm-semantics

By runtimeverification

Suggest topics

Source Code

Suggest alternative

Edit details

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

www.influxdata.com

featured

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

featured

evm-semantics		avm-semantics
	Project
6	Mentions	2
496	Stars	15
0.2%	Growth	-
9.6	Activity	3.2
5 days ago	Latest Commit	9 days ago
Python	Language	Python
BSD 3-clause "New" or "Revised" License	License	BSD 3-clause "New" or "Revised" License

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

evm-semantics

Posts with mentions or reviews of evm-semantics. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-08.

Runtime Verification Brings Formal Verification to Algorand
2 projects | /r/AlgorandOfficial | 8 Mar 2023

K Framework is an operational semantics framework — a programming language for programming languages! K powers the formal verification services provided by Runtime Verification Inc. We have successfully applied K in the Ethereum space with KEVM, and we are now bringing our expertise and the power of K to Algorand with KAVM.
Daily General Discussion - January 17, 2023
2 projects | /r/ethfinance | 17 Jan 2023

Formal verification usually works on the source code level, but Runtime Verification took a different approach: they focus on compiled code, i.e. the EVM bytecode of the contract. With that, it's possible to verify the correctness of more levels, e.g. compilation or ABI semantics. They have a full model of the EVM implemented in K, which was used for verifying the deposit contract: https://github.com/runtimeverification/evm-semantics
Any language you can run on Linux kernel. EVM compatible. Ready for test!
1 project | /r/smartcontracts | 29 Jul 2022
Can we create our own mining client?
1 project | /r/ethdev | 14 Sep 2021
Is anybody interested in a long-term project to build a research implementation of the Ethereum proof of stake beacon chain in Scala 3?
3 projects | /r/scala | 5 Jun 2021

Have you heard of the K framework? It has already been used to write an executable specification of EVM. It seems like a better fit for the use-case than Scala, since K can be used for model checking or formal verification.
KEVM - Hello World Still Not Working
2 projects | /r/CardanoDevelopers | 19 Mar 2021

It seems the repo is this one https://github.com/kframework/evm-semantics, maintained by Runtime Verification a company that seems to works with IOHK

avm-semantics

Posts with mentions or reviews of avm-semantics. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-05-21.

Mark Petruska has requested 250000 Algos for the development of a Coq-avm library for AVM version 8
3 projects | /r/AlgorandOfficial | 21 May 2023

K framework AVM semantics implementation: https://github.com/runtimeverification/avm-semantics
Runtime Verification Brings Formal Verification to Algorand
2 projects | /r/AlgorandOfficial | 8 Mar 2023

K Framework is an operational semantics framework — a programming language for programming languages! K powers the formal verification services provided by Runtime Verification Inc. We have successfully applied K in the Ethereum space with KEVM, and we are now bringing our expertise and the power of K to Algorand with KAVM.