cardano-ledger
plutus
Our great sponsors
cardano-ledger | plutus | |
---|---|---|
9 | 89 | |
238 | 1,532 | |
2.5% | 3.6% | |
9.9 | 9.8 | |
6 days ago | 2 days ago | |
Haskell | Haskell | |
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.
-
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:
- 12 reasons Cardano can't scale in 2022
- Block size increased?
plutus
-
Are you disappointed/happy with current daps?
Plutus-related issues in Plutus repo https://github.com/input-output-hk/plutus/issues Cardano node-related issues in the Cardano node repo https://github.com/input-output-hk/cardano-node
-
A Comprehensive Guide on Web3 Programming Languages and Tools
Plutus (Haskell) is a statically typed programming language wired for writing reliable smart contracts on the Cardano blockchain. It is also a functional programming language, which means programs are composed as sets of mathematical functions for execution.
-
Software Development Languages: Haskell
* https://github.com/input-output-hk/plutus
There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy
I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)
-
Cardano vs. Ethereum: Can Ada Solve Ether’s Problems?
Cardano also suffers from the issue of the size of Plutus script being too big. One script can eat up to 20% of block which renders the overall efficiency even worse.
-
Cardano: "Slow and Steady wins the... Annnnnd it's gone." Plutus auditor publicly announces that most Cardano smart contracts have an exploit.
Probably this https://github.com/input-output-hk/plutus/commit/0f8334ab939a7dce33e9d3ebcded1d2aabd31795. Makes sense, just create unique payment references.
-
Why does the same smart contract need to be included with every utxo?
There is a discussion on GitHub about this. The second solution in MPJs reply is what you are suggesting.
-
PAB release date?
You can monitor PAB releases at https://github.com/input-output-hk/plutus/releases
-
Why all the hate?
About to say that lol. Here are more info.https://plutus-apps.readthedocs.io/en/latest/index.htmlhttps://github.com/input-output-hk/plutushttps://docs.cardano.org/plutus/learn-about-plutus
What are some alternatives?
marlowe - Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
reach-lang - Reach: The Safest and Smartest DApp Programming Language
cardano-node - The core component that is used to participate in a Cardano decentralised blockchain.
plutus-pioneer-program - This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
plutus-starter - A starter project for Plutus apps
openzeppelin-contracts - OpenZeppelin Contracts is a library for secure smart contract development.
aur - A secure, multilingual package manager for Arch Linux and the AUR.
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-wallet - HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
elixir-maybe - A simple implementation of the Maybe type in Elixir, intended as an introduction to Functors, Applicative Functors and Monads
ouroboros-high-assurance - High-assurance implementation of the Ouroboros protocol family
cardano-sl - Cryptographic currency implementing Ouroboros PoS protocol