cardano-ledger
The ledger implementation and specifications of the Cardano blockchain. (by IntersectMBO)
ouroboros-high-assurance
High-assurance implementation of the Ouroboros protocol family (by input-output-hk)
| cardano-ledger | ouroboros-high-assurance | |
|---|---|---|
| 9 | 1 | |
| 267 | 1 | |
| -0.4% | - | |
| 10.0 | 9.1 | |
| 4 days ago | about 1 year ago | |
| Haskell | Isabelle | |
| Apache License 2.0 | Apache License 2.0 |
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.
cardano-ledger
Posts with mentions or reviews of cardano-ledger.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-18.
-
When will Voltaire get rid of the 7 keys?
The actual code implementing it is a little hard to find (as always with the quite convoluted and scarcely documented Haskell sources of IOG). I'd suspect it to be somewhere in https://github.com/input-output-hk/cardano-ledger/tree/master/eras.
-
Roadmap does not exist?
That's just rubbish, you can stop trying to create a false narrative now. Minpoolcost was in the Shelley design spec and deliverables, it's not something **evil Charles** come up with because he felt like it.
-
What makes me even more confident about Cardano’s adoption and crypto in general.
See for yourselves all the commits in the source repo for the implementation, it is sooo active: https://github.com/input-output-hk/cardano-ledger/commits/master
-
Why have min-ada-value?
The formula for the mid-ada-value can be found here. Which is essentially:
-
Software Development Languages: Haskell
Blockchain - I find it's one of the few fields really investing in formal methods at the moment (my old boss recently opened a research center at Carnegie Mellon in formalizing maths actually). Two repos with specs are:
* https://github.com/input-output-hk/cardano-ledger
- 12 reasons Cardano can't scale in 2022
- How do Cardano NFTs differ from Ethereum NFTs?
- Block size increased?
-
Hey moon boys, maybe find the real price of the crypto you 'hodl'. once again(for those in the waaaay back) coinbase is wrong.
This is a helpful article! : https://github.com/input-output-hk/cardano-ledger/blob/master/doc/explanations/features.rst I am invested in both the ERC20 and the native token. However, there’s greater demand currently for the ERC20 tokens.
ouroboros-high-assurance
Posts with mentions or reviews of ouroboros-high-assurance.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-25.
What are some alternatives?
When comparing cardano-ledger and ouroboros-high-assurance you can also consider the following projects:
CIPs - Cardano Improvement Proposals (CIPs)
practical-fm - A gently curated list of companies using verification formal methods in industry
cardano-python - Python module for handling Cardano cryptocurrency
cardano-py - Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)
cardano-transactions - Library utilities for constructing and signing Cardano transactions.