muesliswap-cardano-contracts
Smart contracts powering MuesliSwap on Cardano (by MuesliSwapTeam)
mi-cho-coq
By nomadic-labs
muesliswap-cardano-contracts | mi-cho-coq | |
---|---|---|
7 | 7 | |
9 | - | |
- | - | |
1.8 | - | |
almost 2 years ago | - | |
Haskell | ||
- | - |
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.
muesliswap-cardano-contracts
Posts with mentions or reviews of muesliswap-cardano-contracts.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-19.
- 12 reasons Cardano can't scale in 2022
-
There is a fully functioning DEX live on Cardano that no one talks about. I tested it today and works great.
Question: Where can I find the Smart Contract I am interacting with? Answer: We published all the code regarding our Smart Contract in our GitHub repository: https://github.com/MuesliSwapTeam/muesliswap-cardano-contracts. Feel free to build the contract and compute the address locally to be sure you are interacting with the right address. Our contract can be observed on cardanoscan and other blockchain explorers viewing this address: addr1wy2mjh76em44qurn5x73nzqrxua7ataasftql0u2h6g88lc3gtgpz
- SundaeSwap Testnet Update from their discort channel. They fixed a major bug with the scoopers. Throuput is now greater than with uniswap!
-
A very brief attempt at validating MuesliSwap plutus scripts (spoiler alert: sourcecode they pointed me to did not compile to the cbor they are using)
I tweeted at them asking if they would point me to their source, which they replied with this repo: https://github.com/MuesliSwapTeam/muesliswap-cardano-contracts
-
Why MuesliSwap?
Where did you here this? There's lots of claims here with little substance. Their code is here. I'd love to hear some criticism with actual substance.
- Is museliswap legit or not?
-
How to check for Smart Contracts?
Smart Contract on GitHub: https://github.com/MuesliSwapTeam/muesliswap-cardano-contracts
mi-cho-coq
Posts with mentions or reviews of mi-cho-coq.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-05-02.
- 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?
When comparing muesliswap-cardano-contracts and mi-cho-coq you can also consider the following projects:
muesliswap-periphery
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.
Token-Sale-Plutus-Contract - A repository of publicly verifiable token Sale contracts
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
CIPs
hicdex
cardano-dex-contracts - Smart contracts and specification of the AMM protocol on top of the Cardano blockchain
tzkt - 😼 Awesome Tezos blockchain indexer and API
Conseil - Query API and indexer for Tezos and other decentralized platforms.
factor - Factor programming language
muesliswap-cardano-contracts vs muesliswap-periphery
mi-cho-coq vs juvix
muesliswap-cardano-contracts vs Token-Sale-Plutus-Contract
mi-cho-coq vs cardano-ledger
muesliswap-cardano-contracts vs CIPs
mi-cho-coq vs hicdex
muesliswap-cardano-contracts vs cardano-dex-contracts
mi-cho-coq vs CIPs
muesliswap-cardano-contracts vs cardano-ledger
mi-cho-coq vs tzkt
mi-cho-coq vs Conseil
mi-cho-coq vs factor