evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM) (by runtimeverification)
Bitcoin-S-Core
Bitcoin Implementation in Scala (by bitcoin-s)
| evm-semantics | Bitcoin-S-Core | |
|---|---|---|
| 6 | 6 | |
| 496 | 344 | |
| 0.2% | 0.9% | |
| 9.6 | 9.6 | |
| 7 days ago | 2 days ago | |
| Python | Scala | |
| BSD 3-clause "New" or "Revised" License | MIT 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.
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
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
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!
- Can we create our own mining client?
-
Is anybody interested in a long-term project to build a research implementation of the Ethereum proof of stake beacon chain in Scala 3?
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
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
Bitcoin-S-Core
Posts with mentions or reviews of Bitcoin-S-Core.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-06-29.
- Bitcoin is the only coin the SEC Chair will call a commodity
- Who has experience in blockchain with Scala?
-
Is anybody interested in a long-term project to build a research implementation of the Ethereum proof of stake beacon chain in Scala 3?
Finally I am not sure if you are aware of bitcoin-s? It's a Bitcoin implementation and toolkit written in pure Scala. Note that it's not yet migrated to Scala 3 from what I can see. But maybe have better luck finding the person you are looking for in their community channels.
- bitcoin-s Release with Scalajs support for the crypto/core modules
- Bitcoin-S 0.6.0 Release with Scalajs support for crypto/core modules!
- Bitcoin-s 0.5.0 released
What are some alternatives?
When comparing evm-semantics and Bitcoin-S-Core you can also consider the following projects:
testnets-cardano-org - Official Cardano Testnets website repository
TSec - Type-safe general-cryptography library - https://jmcardon.github.io/tsec/
avm-semantics
Scrypto - Cryptographic primitives for Scala
consensus-specs - Ethereum Proof-of-Stake Consensus Specifications
alephium - Reference client for Alephium protocol
Scorex - Scorex 2.0 Core
btcd - An alternative full node bitcoin implementation written in Go (golang)
lightning-rfc - BOLT: Basis of Lightning Technology (Lightning Network Specifications) [Moved to: https://github.com/lightning/bolts]
Waves - ⛓️ Reference Waves Blockchain Node (client) implementation on Scala
bcoin - Javascript bitcoin library for node.js and browsers
evm-semantics vs testnets-cardano-org
Bitcoin-S-Core vs TSec
evm-semantics vs avm-semantics
Bitcoin-S-Core vs Scrypto
evm-semantics vs consensus-specs
Bitcoin-S-Core vs alephium
Bitcoin-S-Core vs Scorex
Bitcoin-S-Core vs btcd
Bitcoin-S-Core vs lightning-rfc
Bitcoin-S-Core vs consensus-specs
Bitcoin-S-Core vs Waves
Bitcoin-S-Core vs bcoin