CIPs
mi-cho-coq
Our great sponsors
CIPs | mi-cho-coq | |
---|---|---|
157 | 7 | |
458 | - | |
0.9% | - | |
9.1 | - | |
5 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.
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.
-
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!
-
Cardano Express and React skeletons with CIP-0008 Signing spec
Related : https://github.com/cardano-foundation/CIPs/issues/448 I would advise on making the payload a CWT cbor payload instead of CWT.
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.
This is a basic API REST skeleton for Cardano dApp authentication and authorization written on JavaScript using async/await. This backend utilizes the standard CIP-0008 signing spec. The project has all necessary endpoints for athentication, authorization and user management. The authentication token is generated as a JWT web token, therefore it can be shared easily by other services.
-
Catalyst Weekly #64: Join community events around the world!
Draft CPS-???? | Wallet UX [Draft CPS]: This draft problem statement aims to outline problems with wallet UX.
-
Catalyst Weekly #63: Challenge Team Reports, Vox Populi Review, Catalyst Core GitHub & more
CIP-???? | NFT Metadata Update Oracles [New CIP Proposal]: This proposal extends the CIP-25 standard for defining and updating token metadata via transaction metadata.
-
Catalyst Weekly #62 - New 'official home' at projectcatalyst.io
CIP-???? | Decentralized WebRTC dApp-Wallet Communication: This proposal describes a decentralized communication method between dApps and wallets based on WebTorrent trackers and WebRTC. This has seen some decent engagement to date.
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).
- 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
What are some alternatives?
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
essential-cardano - Repository for the Essential Cardano list
plutus-use-cases - Plutus Use Cases
cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.
dex-lang - Research language for array processing in the Haskell/ML family
bip-0039-recovery - Recover your BIP-0039 phrase if you only have 23/24 words
plutus-apps - The Plutus application platform
stellar-protocol - Developer discussion about possible changes to the protocol.
Ruby style guide - A community-driven Ruby coding style guide
scripts - StakePool Operator Scripts. Learn how to create and manage your StakePool with these simple scripts. Hardware-Ledger/Trezor Support, Token/Asset Sending, Offline-Mode and more...
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.
cardano-serialization-lib - This is a library, written in Rust, for serialization & deserialization of data structures used in Cardano's Haskell implementation of Alonzo along with useful utility functions.