cardano-ledger
ouroboros-high-assurance
Our great sponsors
cardano-ledger | ouroboros-high-assurance | |
---|---|---|
9 | 1 | |
241 | 1 | |
3.7% | - | |
9.9 | 9.1 | |
1 day ago | 3 months ago | |
Haskell | Isabelle | |
Apache License 2.0 | Apache License 2.0 |
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
-
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
What are some alternatives?
CIPs
plutus - The Plutus language implementation and tools
cardano-python - Python module for handling Cardano cryptocurrency
cardano-transactions - Library utilities for constructing and signing Cardano transactions.
adalite - A lightweight web wallet for Cardano cryptocurrency with Trezor, Ledger and BitBox02 support. Please note that the only valid domain for our wallet is adalite.io
cardano-ogmios - ❇️ A WebSocket JSON/RPC bridge for Cardano
practical-fm - A gently curated list of companies using verification formal methods in industry
byron-dex - Byron Network implementation of Decentralized Exchange App
cardano-py - Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)
kepler - NIST-based CVE lookup store and API powered by Rust.
cardano-ledger-specs - The ledger implementation and specifications of the Cardano blockchain. [Moved to: https://github.com/input-output-hk/cardano-ledger]