cardano-ledger
mi-cho-coq
Our great sponsors
cardano-ledger | mi-cho-coq | |
---|---|---|
9 | 7 | |
241 | - | |
3.7% | - | |
9.9 | - | |
about 20 hours ago | - | |
Haskell | ||
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.
mi-cho-coq
- Every link DEVs interested on Tezos should know
-
12 reasons Cardano can't scale in 2022
There are similarities between the promises made by Cardano and what you find in Tezos: * proof-of-stake L1s * on-chain voting: Voltaire for Cardano vs periodic elections on Tezos (already 8 important upgrades of the protocol that were voted for, with the Foundation abstaining!) * formal verification of contracts and the chain itself: mentioned here for Cardano vs several projects in Tezos (Mi-Cho-Coq, foobar.land, both using the Coq proof assistant) * ongoing work on L2s: Hydra for Cardano vs Deku, zkRollups and optimistic rollups as well (a bit similar to Arbitrum IIRC).
-
Formal Verification: Tezos’s Feature Nobody Talks About
We are not working with LIGO to verify smart contracts, more with Mi-Cho-Coq which aims to verify smart contracts directly at the Michelson level. Using Mi-Cho-Coq it is possible to verify the Michelson output of LIGO or SmartPy. I heard LIGO people also have projects to do verification directly at the LIGO's level or verify the implementation of the LIGO compiler.
-
Front running and general architecture?
Formal verification for smart contracts. Many (Not all) categories of vulnerabilities can be avoided that way. See fe: https://medium.com/coinmonks/verify-a-smart-contract-with-archetype-6e0ea548e2da or https://gitlab.com/nomadic-labs/mi-cho-coq which can be used on any michelson code.
- About Michelson design
-
ELI5 This “superior tech” Tezos has
The link to the Coq formalization of Michelson, to formally verify smart-contracts: https://gitlab.com/nomadic-labs/mi-cho-coq
-
Supporting EVM, WASM Bitcoin Script, etc.
Web assembly is stack-based and there are tools like KWasm for formal verification - so a move to WASM is a more likely candidate... but Michelson is a very capable and verifiable stack based low-level language too. https://gitlab.com/nomadic-labs/mi-cho-coq/
What are some alternatives?
CIPs
juvix - Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
cardano-python - Python module for handling Cardano cryptocurrency
hicdex
cardano-transactions - Library utilities for constructing and signing Cardano transactions.
ouroboros-high-assurance - High-assurance implementation of the Ouroboros protocol family
tzkt - 😼 Awesome Tezos blockchain indexer and API
cardano-ogmios - ❇️ A WebSocket JSON/RPC bridge for Cardano
Conseil - Query API and indexer for Tezos and other decentralized platforms.
byron-dex - Byron Network implementation of Decentralized Exchange App
factor - Factor programming language