mi-cho-coq
By nomadic-labs
build.teztools.io
Build blockchain powered applications with scripts and tools built against teztools.io infrastructure (by IntegroLabs)
Our great sponsors
mi-cho-coq | build.teztools.io | |
---|---|---|
7 | 1 | |
- | 0 | |
- | - | |
- | 2.6 | |
- | about 2 years ago | |
- | MIT License |
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.
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/
build.teztools.io
Posts with mentions or reviews of build.teztools.io.
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
There is also the TezTools price API documented here (https://api.teztools.io) https://github.com/IntegroLabs/build.teztools.io
What are some alternatives?
When comparing mi-cho-coq and build.teztools.io you can also consider the following projects:
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.
hicdex
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
Conseil - Query API and indexer for Tezos and other decentralized platforms.
taquito-boilerplate - A quick start Tezos app that uses taquito
CIPs
hub-feedback - Feedback and bug reports for the Docker Hub
tzkt - 😼 Awesome Tezos blockchain indexer and API
website - Let's Encrypt Website and Documentation
awesome-tezos - A curated list of awesome things in the Tezos blockchain ecosystem! 🥳🤓🥳🤓🥳🤑
mi-cho-coq vs juvix
build.teztools.io vs hicdex
mi-cho-coq vs cardano-ledger
build.teztools.io vs Conseil
mi-cho-coq vs hicdex
build.teztools.io vs taquito-boilerplate
mi-cho-coq vs CIPs
build.teztools.io vs hub-feedback
mi-cho-coq vs tzkt
build.teztools.io vs website
mi-cho-coq vs Conseil
build.teztools.io vs awesome-tezos