evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM) (by runtimeverification)
testnets-cardano-org
Official Cardano Testnets website repository (by cardano-foundation)
evm-semantics | testnets-cardano-org | |
---|---|---|
6 | 29 | |
496 | 57 | |
0.2% | - | |
9.6 | 0.0 | |
5 days ago | about 1 year ago | |
Python | JavaScript | |
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
testnets-cardano-org
Posts with mentions or reviews of testnets-cardano-org.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-08-03.
-
Cardano On the Verge Of Dominating Asia As ADA Finally Gets Approval For Listing In Tough Japanese Market
To be frank, I have mixed opinions with the average Cardano investor. On one hand I think it's important to get burnt at least once whilst investing. It gives you a healthy dose of cynicism. Separates your emotions out of your investment. Ultimately you are investing into a common enterprise under the expectation to profit on said investment, finding someone to buy it from you at a higher price (often overlooked). DYOR is not watching a 3 hour stream of Charlie talking about could-be's and would-be's. https://github.com/cardano-foundation/testnets-cardano-org/issues/488 Bit of infamous open issue over here. People can't even get hello world to work on their Alonzo smart contracts. The top 20 US equities 20 years ago are not the same top 20 today. Considering how fast the Crypto space moves doesn't mean $DASH.. I mean $ADA is going to stay towards the top forever.
-
Investigation: Cardano Has Been Moving Goalposts On Smart Contracts Since 2018. Will They Finally Keep Their Promise This Time?
After 3 years of silence, KEVM started making the rounds again in the end of 2020 with all the usual big announcement. Once a test net was released, complaints started to rise that even a simple "Hello World" program was not working. Here are some more posts on the same issue. And another one. Regarding this problem with the faulty documentation a Github ticket was opened which has still not been resolved to this day. This was almost 6 months ago.
- Cardano's Alonzo White Hard Fork went through Successfully
-
ETH 2.0 will be the Cardano killer?
https://github.com/cardano-foundation/testnets-cardano-org/issues/488#issuecomment-796315624
- “If you see me boosting Ada price, then I’ve been compromised, sell all your Ada. Cardano will be valued based on hard work, real world use and the utility of the platform. I’m not here to make day traders rich. I’m here to change the world” - Charles Hoskinson
-
Iota-Cardano Alliance
I do wonder how much Cardano is really being used. Bugs like https://github.com/cardano-foundation/testnets-cardano-org/issues/488 are a bit suspicious; a hello world that hasn't been working since at least a month, and no fix seems to be on its way. Does anyone know how many smart contracts are actually running on Cardano currently?
- Cardano’s Hoskinson Sparked Debate about IOTA’s Feeless TXN, IOTA Foundation’s Hans Moog Weighs In
- Many crypto hedge funds not invested in Cardano so far, why?
-
KEVM - Hello World Still Not Working
The problem was first raised at https://www.reddit.com/r/CardanoDevelopers/comments/lqubkc/kevm_hello_world_not_working/ almost a month ago. The issue is still open: https://github.com/cardano-foundation/testnets-cardano-org/issues/488 and the Cardano Developer's engagement (or lack thereof) is poor to put it politely.
It has been almost a month since an issue was raised ( Invalid content /en/virtual-machines/kevm/getting-started/mallet-end-to-end/ · Issue #488 · cardano-foundation/testnets-cardano-org (github.com) regarding the simple 'hello world' tutorial not working on the KEVM.
What are some alternatives?
When comparing evm-semantics and testnets-cardano-org you can also consider the following projects:
Bitcoin-S-Core - Bitcoin Implementation in Scala
docs-cardano-org - Documentation for Cardano
avm-semantics
glow
consensus-specs - Ethereum Proof-of-Stake Consensus Specifications
daedalus - The open source cryptocurrency wallet for ada, built to grow with the community
ethmerge.com-content - Markdown formatted content for the ethmerge.com website.
k - K Framework Tools 6.0