tzkt
😼 Awesome Tezos blockchain indexer and API (by baking-bad)
mi-cho-coq
By nomadic-labs
| tzkt | mi-cho-coq | |
|---|---|---|
| 42 | 7 | |
| 179 | - | |
| 0.6% | - | |
| 7.9 | - | |
| 4 days ago | - | |
| C# | ||
| 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.
tzkt
Posts with mentions or reviews of tzkt.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-01-03.
-
Free NFT Giveaway
I've checked address on tzkt.io,why it shows account doesn't exist? Curious
-
Comparison between Arbitrum, Optimism and Tezos SORUs (Smart Optimistic Rollups)
I would say keep an eye on it for sure. Someone will probably build a L2beat.com equivalent for tezos rollups so that you have all the info there! Or otherwise tzkt.io the main explorer will display all info related to the most used rollups
-
TzKT explorer released a major new version with Mumbai Protocol support
📣 Big update alert! TzKT just released a major new version with support for the Tezos Mumbai Protocol.
-
who made the cats? or what project is behind them? is there a place where I can see them all?
They are generated randomly using you Tezos accounts public key hash on tzkt.io. Your account and any account you create will have one generated for it!
- Lost Tezos
-
Is it common for Bakers to increase fee structures? Any way to find out if fees changed?
You can check baking bad's indexer https://tzkt.io/. Search for you wallet address and then select the "Rewards" tab along the bottom. It will give you a breakdown on many things, including the fee you were charged per cycle. You should be able to see there if you were ever charged something other than 15%
- Unity integrates Tezos blockchain into game engine
-
Check out Tezos daily highlight!
Tezos information onits Explorer ↩️
- Baking/Staking
-
Binance zeroed our corporate account with more than $1M funds with no exlanations
BakingBad is also responsible for creating the only viable, and actually pretty high quality block/smart contract explorers, better-call.dev and tzkt.io, along with a few other tools that you could almost say carries the Tezos network entirely
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 tzkt and mi-cho-coq you can also consider the following projects:
pytezos - 🐍 Python SDK for Tezos | Michelson VM in Python
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.
taquito-boilerplate - A quick start Tezos app that uses taquito
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
objkt-swap - Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
hicdex
templewallet-extension - 🔐💰Cryptocurrency wallet for Tezos blockchain as Web extension for your Browser.
CIPs
dipdup - Modular framework for creating selective indexers and featureful backends for dapps
Conseil - Query API and indexer for Tezos and other decentralized platforms.
tezos
factor - Factor programming language