# Proposals **URL:** https://gov.zilliqa.com/c/proposals/5.md?page=2 [Latest](https://gov.zilliqa.com/latest.md) · [Categories](https://gov.zilliqa.com/categories.md) **Page:** 3 --- ## [Verify also with Lean in addition to Coq](https://gov.zilliqa.com/t/verify-also-with-lean-in-addition-to-coq/429)
**Author:** [@porton](https://gov.zilliqa.com/u/porton)\ **Replies:** 0\ **Last updated:** [February 20, 2021, 6:00pm UTC](https://gov.zilliqa.com/t/verify-also-with-lean-in-addition-to-coq/429 "2021-02-20T18:00:08Z")
Summary: Verify also with Lean in addition to Coq. Abstract: Lean is the world-best in principle, however not yet a ripe, proof assistant. Add the ability to verify not only with Coq but also with Lean. Motivation: L… --- ## [Lock ZIL to common good instead of burning it](https://gov.zilliqa.com/t/lock-zil-to-common-good-instead-of-burning-it/421)
**Author:** [@porton](https://gov.zilliqa.com/u/porton)\ **Replies:** 0\ **Last updated:** [February 16, 2021, 12:31am UTC](https://gov.zilliqa.com/t/lock-zil-to-common-good-instead-of-burning-it/421 "2021-02-16T00:31:41Z")
Summary: Transfer a part of ZIL transfer/mining fees to Future Salaries contract. It funds common good, increases ZIL price, makes ZIL price to reflect the blockchain value more exactly. Abstract: Transfer a part (exa… --- ## [Wallet Whitelisting/suspicious wallet warning](https://gov.zilliqa.com/t/wallet-whitelisting-suspicious-wallet-warning/417)
**Author:** [@Queen\_Zil](https://gov.zilliqa.com/u/Queen_Zil)\ **Replies:** 0\ **Last updated:** [February 12, 2021, 8:19am UTC](https://gov.zilliqa.com/t/wallet-whitelisting-suspicious-wallet-warning/417 "2021-02-12T08:19:03Z")
Right now we have an issue of bad actors attempting to scam individuals involved with cryptocurrency. I have been pondering this for a few weeks now. My initial thought was to propose blacklisting wallets and reverse all… --- ## [Ledger Intergration](https://gov.zilliqa.com/t/ledger-intergration/403)
**Author:** [@Jamil](https://gov.zilliqa.com/u/Jamil)\ **Replies:** 2\ **Last updated:** [February 10, 2021, 7:59am UTC](https://gov.zilliqa.com/t/ledger-intergration/403 "2021-02-10T07:59:44Z")
Summary: Integrate Ledger Support for Zilliqa Goverance Portal Abstract: Currently only ZilPay is supported for Zilliqa Goverance and hence those with Ledger Wallets are required to transfer their gZil from Ledger to … --- ## [Mobile Access to Snapshot and Mobile Voting](https://gov.zilliqa.com/t/mobile-access-to-snapshot-and-mobile-voting/332)
**Author:** [@DMonkey](https://gov.zilliqa.com/u/DMonkey)\ **Replies:** 4\ **Last updated:** [January 21, 2021, 11:30am UTC](https://gov.zilliqa.com/t/mobile-access-to-snapshot-and-mobile-voting/332 "2021-01-21T11:30:09Z")
Summary: Voting is a right and should be made as accessible as possible and allow flexible media to cast your vote. Anywhere you keep your $gzil should have an easy option to use snapshot. Abstract: Snapshot should be… --- ## [We need a Zilliqa News Messenger App](https://gov.zilliqa.com/t/we-need-a-zilliqa-news-messenger-app/336)
**Author:** [@LightAndMagic](https://gov.zilliqa.com/u/LightAndMagic)\ **Replies:** 3\ **Last updated:** [January 21, 2021, 6:35am UTC](https://gov.zilliqa.com/t/we-need-a-zilliqa-news-messenger-app/336 "2021-01-21T06:35:57Z")
This thread is for the Zilliqa team …We need a centre point of communication from Zilliqa team about all its projects…I just found out about CVI …it was from a friend on twitter…totally random and I’m proposing either a… --- ## [\[ZIP-12\] Standardisation of ZIP processes](https://gov.zilliqa.com/t/zip-12-standardisation-of-zip-processes/21)
**Author:** [@Snowsledge](https://gov.zilliqa.com/u/Snowsledge)\ **Replies:** 52\ **Last updated:** [January 19, 2021, 4:46pm UTC](https://gov.zilliqa.com/t/zip-12-standardisation-of-zip-processes/21 "2021-01-19T16:46:25Z")
Summary The purpose of this proposal is to standardise the Zilliqa Improvement Proposal (ZIP) introduction, voting, and implementation process that governs the Zilliqa protocol. Snapshot Voting link https://governance.z… [Previous page](https://gov.zilliqa.com/c/proposals/5.md?page=1)