evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM) (by runtimeverification)
consensus-specs
Ethereum Proof-of-Stake Consensus Specifications (by ethereum)
| evm-semantics | consensus-specs | |
|---|---|---|
| 6 | 158 | |
| 496 | 3,432 | |
| 0.2% | 1.3% | |
| 9.6 | 9.8 | |
| 5 days ago | 1 day ago | |
| Python | Python | |
| BSD 3-clause "New" or "Revised" License | Creative Commons Zero v1.0 Universal |
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
consensus-specs
Posts with mentions or reviews of consensus-specs.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-20.
- Daily General Discussion - June 23, 2023
-
Daily General Discussion - May 20, 2023
I think its 1 million: https://github.com/ethereum/consensus-specs/issues/2137
-
Ethereum's pending withdrawals total $1.34 billion after Shapella
how "radically decentralized" the development of the Ethereum core is. In the past half a decade only 133 devs have contributed to Ethereum source code. 2 devs have written 25% of the code. The first 10 developers have written 70% of the Ethereum code. Consensus specifications the ones that all the clients implement. Half are Consensys employees https://github.com/ethereum/consensus-specs
-
Daily General Discussion - February 18, 2023
I think this will be defined here: https://github.com/ethereum/consensus-specs/blob/dev/specs/deneb/fork-choice.md
- Daily General Discussion - February 17, 2023
-
There are over 7000 pending validators on the Ethereum test net. Looks like a lot of people want to practice staking before the Shanghai hardfork
Clients dependent on Consensys core and ETH management repo. A client is just the implementation directed by Consensys written in a different language. Fact is about 10 developers are the only reason those clients will update with staking. https://github.com/ethereum/consensus-specs
-
Set your Ethereum validator withdrawal address with CLWP today
Exits are processed at 7 per epoch (currently). There is no queue for withdrawals. See https://github.com/ethereum/consensus-specs/pull/3068
-
Evolution of the Ethereum Proof-of-Stake Consensus Protocol
https://github.com/ethereum/consensus-specs/blob/dev/specs/p...
-
How to merge an Ethereum network right from the genesis block
For that, we have to take the vanilla deposit contract from the consensus specs: deposit_contract.sol, get the Solidity compiler version 0.6.11, compile the binary of the runtime part, and create an empty deposit tree.
-
Centralization of ETH developer community?
The PoS consensus specification
What are some alternatives?
When comparing evm-semantics and consensus-specs you can also consider the following projects:
Bitcoin-S-Core - Bitcoin Implementation in Scala
l2beat - L2BEAT is an analytics and research website about Ethereum layer two (L2) scaling solutions.
testnets-cardano-org - Official Cardano Testnets website repository
ethereum-org-website - Ethereum.org is a primary online resource for the Ethereum community.
avm-semantics
ergo - Ergo protocol description & reference client implementation
annotated-spec - Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2-annotated-spec/ also exist. This one is intended to focus more on design rationale.
scaffold-eth - 🏗 forkable Ethereum dev stack focused on fast product iterations [Moved to: https://github.com/scaffold-eth/scaffold-eth]
rust-libp2p - The Rust Implementation of the libp2p networking stack.
EIPs - The Ethereum Improvement Proposal repository
go-ethereum - Go implementation of the Ethereum protocol
lido-dao - Lido DAO smart contracts
evm-semantics vs Bitcoin-S-Core
consensus-specs vs l2beat
evm-semantics vs testnets-cardano-org
consensus-specs vs ethereum-org-website
evm-semantics vs avm-semantics
consensus-specs vs ergo
consensus-specs vs annotated-spec
consensus-specs vs scaffold-eth
consensus-specs vs rust-libp2p
consensus-specs vs EIPs
consensus-specs vs go-ethereum
consensus-specs vs lido-dao