mi-cho-coq
tzkt
Our great sponsors
mi-cho-coq | tzkt | |
---|---|---|
7 | 42 | |
- | 179 | |
- | 1.1% | |
- | 7.9 | |
- | 13 days ago | |
C# | ||
- | MIT License |
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
- 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/
tzkt
-
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
What are some alternatives?
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.
pytezos - 🐍 Python SDK for Tezos | Michelson VM in Python
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
taquito-boilerplate - A quick start Tezos app that uses taquito
hicdex
objkt-swap - Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
CIPs
templewallet-extension - 🔐💰Cryptocurrency wallet for Tezos blockchain as Web extension for your Browser.
Conseil - Query API and indexer for Tezos and other decentralized platforms.
dipdup - Modular framework for creating selective indexers and featureful backends for dapps
factor - Factor programming language
tezos