mi-cho-coq
CIPs
Our great sponsors
mi-cho-coq | CIPs | |
---|---|---|
7 | 157 | |
- | 459 | |
- | 0.7% | |
- | 9.1 | |
- | 6 days ago | |
JavaScript | ||
- | Creative Commons Attribution 4.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.
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/
CIPs
- Ledger vs Trezor vs Others addr derivations
-
Catalyst Weekly #72: Fund10 Updates (tech stack), Summon Testnet, Voltaire Musings, CIPs & more
CPS-???? | Governance Security [New Problem]: This problem statement describes security issues to be considered by protocol governance CIPs.
-
Lace 1.0 is now live on Cardano mainnet!
The Lace team is already working with the community on how to find the best way to develop the CIP-72 - DApp Registration & Discovery. If you’re interested in taking part, contribute here
-
Cardano Dapp store
All mobile wallets have some kind of dApp browser, but there are no hard specs for how they should be run that is implemented at the moment. You might be interested in CIP72 if you're interested in standards for this topic more generally: https://github.com/cardano-foundation/CIPs/pull/355
-
Catalyst Weekly #71: F10 updates, Ariob demo day, LATAM CIP-1694 Workshops, Cardano Talent hub & more
CIP-???? | Extend token metadata for translations [New Proposal]: This proposal defines an addition to CIP-25 | Media NFT Metadata Standard to support more languages than English.
-
Catalyst Weekly #70: Voltaire musings, Film festival winners, Fund10 updates, Workshops & more
If you wish to add your perspectives to CIP 1694, make sure to share them here. Add your voice as the era of Voltaire rolls out!
-
Catalyst Weekly #68: Circle updates, Cardano4Climate, #letstalkcardano, CIPs and more!
Last week, a community-led roundtable took place on the topic of CIP-1694. You can catch the recap and outcome in last week’s newsletter or this Cardano Forum recap here. Worth a read.
-
Account Abstraction
Conditions inside a native script (but there is a CIP for changing this here)
- What’s upcoming for the next CIP’s any details and timelines? Thank you.
-
Cardano Express and React skeletons with CIP-0008 Signing spec
Thank you for the information! That is very important. Actually I wrote a specification https://github.com/cardano-foundation/CIPs/pull/442 where I address exactly that issue.
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.
nami - Nami Wallet is a browser based wallet extension to interact with the Cardano blockchain. Support requests: https://iohk.zendesk.com/hc/en-us/requests/new
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
essential-cardano - Repository for the Essential Cardano list
hicdex
plutus-use-cases - Plutus Use Cases
tzkt - 😼 Awesome Tezos blockchain indexer and API
Conseil - Query API and indexer for Tezos and other decentralized platforms.
dex-lang - Research language for array processing in the Haskell/ML family
factor - Factor programming language
bip-0039-recovery - Recover your BIP-0039 phrase if you only have 23/24 words