# Idea **URL:** https://forums.minaprotocol.com/c/community/bright-ideas/19.md [Latest](https://forums.minaprotocol.com/latest.md) · [Categories](https://forums.minaprotocol.com/categories.md) --- ## [About the Idea category](https://forums.minaprotocol.com/t/about-the-idea-category/4463)
**Author:** [@minacommunity](https://forums.minaprotocol.com/u/minacommunity)\ **Replies:** 0
Here is where you can discuss and your ideas for future Mina community initiatives --- ## [RFC: Formal Verification of Kimchi Proof System and Pickles Recursive Layer in Lean 4](https://forums.minaprotocol.com/t/rfc-formal-verification-of-kimchi-proof-system-and-pickles-recursive-layer-in-lean-4/7056)
**Author:** [@isurvivable](https://forums.minaprotocol.com/u/isurvivable)\ **Replies:** 1\ **Last updated:** [April 29, 2026, 10:15am UTC](https://forums.minaprotocol.com/t/rfc-formal-verification-of-kimchi-proof-system-and-pickles-recursive-layer-in-lean-4/7056 "2026-04-29T10:15:29Z")
Hi all, I’ve opened a Pull Request to the Core-Grants repo with an RFC proposing formal verification of Kimchi and Pickles in Lean 4. \*\*PR:\*\* RFC-0011: Formal Verification of Kimchi and Pickles in Lean 4 by MavenRain ·… --- ## [Transparency Report Needed on Past Mina Incentive Distributions](https://forums.minaprotocol.com/t/transparency-report-needed-on-past-mina-incentive-distributions/6980)
**Author:** [@Brigade](https://forums.minaprotocol.com/u/Brigade)\ **Replies:** 0\ **Last updated:** [October 31, 2025, 2:56pm UTC](https://forums.minaprotocol.com/t/transparency-report-needed-on-past-mina-incentive-distributions/6980 "2025-10-31T14:56:19Z")
I’d like to suggest preparing a report that evaluates the success and outcomes of past incentive distributions. It would also be great if such reports could be shared periodically in the future to improve transparency an… --- ## [Mina Protocol As A Registered Security](https://forums.minaprotocol.com/t/mina-protocol-as-a-registered-security/5835)
**Author:** [@Serdar](https://forums.minaprotocol.com/u/Serdar)\ **Replies:** 4\ **Last updated:** [April 18, 2023, 8:24pm UTC](https://forums.minaprotocol.com/t/mina-protocol-as-a-registered-security/5835 "2023-04-18T20:24:37Z")
Hi all, Before everything else, I must say, I am, in no way, an expert on the US securities market and financial regulations. The writer of this post is just a humble crypto enthusiast who is mostly interested in the st… --- ## [Add another category](https://forums.minaprotocol.com/t/add-another-category/5936)
**Author:** [@Yasharsaljoughi](https://forums.minaprotocol.com/u/Yasharsaljoughi)\ **Replies:** 1\ **Last updated:** [March 2, 2023, 10:10am UTC](https://forums.minaprotocol.com/t/add-another-category/5936 "2023-03-02T10:10:17Z")
Hello guys, So happy being with you guys, I am curious to learn more about Mina but on this Forum we dont have education category for learning about Mina protocol. Is it possible to open it? DYOR --- ## [Decentralised Identity on Mina Protocol](https://forums.minaprotocol.com/t/decentralised-identity-on-mina-protocol/5819)
**Author:** [@Serdar](https://forums.minaprotocol.com/u/Serdar)\ **Replies:** 4\ **Last updated:** [September 10, 2022, 10:37pm UTC](https://forums.minaprotocol.com/t/decentralised-identity-on-mina-protocol/5819 "2022-09-10T22:37:14Z")
Hey all, I have been writing a book on Bitcoin (and the blockchain technology in general). A couple of weeks ago, while I was doing some research on the L2 solutions that work on Bitcoin, I came across an entity, called… --- ## [Lightning Network for Mina Protocol](https://forums.minaprotocol.com/t/lightning-network-for-mina-protocol/5794)
**Author:** [@Serdar](https://forums.minaprotocol.com/u/Serdar)\ **Replies:** 5\ **Last updated:** [June 29, 2022, 2:08pm UTC](https://forums.minaprotocol.com/t/lightning-network-for-mina-protocol/5794 "2022-06-29T14:08:49Z")
Hello all, Even though I have bitter feelings for the team (reasons of which are known by the relevant parties, i guess), I couldn’t resist the temptation of opening this topic. As many of you know, Lightning Network i… --- ## [Staking Rewards - can these be automatically distributed? ](https://forums.minaprotocol.com/t/staking-rewards-can-these-be-automatically-distributed/4506)
**Author:** [@Pete](https://forums.minaprotocol.com/u/Pete)\ **Replies:** 9\ **Last updated:** [April 13, 2022, 10:20am UTC](https://forums.minaprotocol.com/t/staking-rewards-can-these-be-automatically-distributed/4506 "2022-04-13T10:20:59Z")
Am I right in saying node operators have to manually distribute staking rewards? If so could this be done automatically? --- ## [Mina Protocol Career Days](https://forums.minaprotocol.com/t/mina-protocol-career-days/5553)
**Author:** [@Serdar](https://forums.minaprotocol.com/u/Serdar)\ **Replies:** 1\ **Last updated:** [February 9, 2022, 10:28am UTC](https://forums.minaprotocol.com/t/mina-protocol-career-days/5553 "2022-02-09T10:28:54Z")
Hey people, A couple of weeks ago, I was looking at a detailed crypto report on adoption rates. While a big chunk of the report was -understandably- focusing on the adoption of the end users, there was a section which w… --- ## [Mina Protocol SWOT Analysis](https://forums.minaprotocol.com/t/mina-protocol-swot-analysis/5522)
**Author:** [@Serdar](https://forums.minaprotocol.com/u/Serdar)\ **Replies:** 5\ **Last updated:** [February 7, 2022, 2:18pm UTC](https://forums.minaprotocol.com/t/mina-protocol-swot-analysis/5522 "2022-02-07T14:18:55Z")
Hey all, I have created a quick swot analysis for Mina Protocol, in case it hasn’t been done already. I hope it helps the marketing and product development teams with their work. --- ## [Integration With BTC](https://forums.minaprotocol.com/t/integration-with-btc/5475)
**Author:** [@FrankyFreeman](https://forums.minaprotocol.com/u/FrankyFreeman)\ **Replies:** 3\ **Last updated:** [February 5, 2022, 9:57pm UTC](https://forums.minaprotocol.com/t/integration-with-btc/5475 "2022-02-05T21:57:39Z")
Whether MINA could integration with BTC like Dfinity does, which could directly bring in more funds. --- ## [Should we encourage people to stake Mina outside exchanges and how ?](https://forums.minaprotocol.com/t/should-we-encourage-people-to-stake-mina-outside-exchanges-and-how/4512)
**Author:** [@Syd](https://forums.minaprotocol.com/u/Syd)\ **Replies:** 13\ **Last updated:** [January 24, 2022, 2:18pm UTC](https://forums.minaprotocol.com/t/should-we-encourage-people-to-stake-mina-outside-exchanges-and-how/4512 "2022-01-24T14:18:49Z")
Do you even believe that it could become an issue ? Do you have experience on how other PoS projects “fight” against this tendancy of people staking coins on exchanges ? --- ## [Weekly #minatech Progress updates](https://forums.minaprotocol.com/t/weekly-minatech-progress-updates/5216)
**Author:** [@sMgT](https://forums.minaprotocol.com/u/sMgT)\ **Replies:** 26\ **Last updated:** [January 19, 2022, 5:21pm UTC](https://forums.minaprotocol.com/t/weekly-minatech-progress-updates/5216 "2022-01-19T17:21:47Z")
Hello everyone, hope you are all enjoying your start to 2022! I have an idea for community marketing, that largely relates to developer updates which I think is especially important with the development and launch of Sn… --- ## [NFT Platform for Mina Protocol - Problems & Solutions](https://forums.minaprotocol.com/t/nft-platform-for-mina-protocol-problems-solutions/5079)
**Author:** [@Pete](https://forums.minaprotocol.com/u/Pete)\ **Replies:** 2\ **Last updated:** [January 18, 2022, 2:50pm UTC](https://forums.minaprotocol.com/t/nft-platform-for-mina-protocol-problems-solutions/5079 "2022-01-18T14:50:04Z")
I realise this is further down the road, but I thought it would be constructive to initiate a discussion around how an NFT platform could be built around MP and the steps needed to make it a reality. 1: What is the bigg… --- ## [.mina for wallets? ](https://forums.minaprotocol.com/t/mina-for-wallets/4548)
**Author:** [@Pete](https://forums.minaprotocol.com/u/Pete)\ **Replies:** 17\ **Last updated:** [December 30, 2021, 10:27am UTC](https://forums.minaprotocol.com/t/mina-for-wallets/4548 "2021-12-30T10:27:37Z")
Is this something that would be possible to do with Mina Protocol? It would be very cool (and easy to remember) to have pete.mina as a wallet address --- ## [Should access to this Forum be limited to Mina / Crypto Wallet Holders?](https://forums.minaprotocol.com/t/should-access-to-this-forum-be-limited-to-mina-crypto-wallet-holders/4508)
**Author:** [@Pete](https://forums.minaprotocol.com/u/Pete)\ **Replies:** 15\ **Last updated:** [December 25, 2021, 10:44am UTC](https://forums.minaprotocol.com/t/should-access-to-this-forum-be-limited-to-mina-crypto-wallet-holders/4508 "2021-12-25T10:44:56Z")
Do you think requiring members to hold MINA tokens or to at least hold a web wallet of some kind could be a way forward for access to this Forum? --- ## [Mina Protocol in other languages?](https://forums.minaprotocol.com/t/mina-protocol-in-other-languages/4597)
**Author:** [@Pete](https://forums.minaprotocol.com/u/Pete)\ **Replies:** 11\ **Last updated:** [December 18, 2021, 11:14am UTC](https://forums.minaprotocol.com/t/mina-protocol-in-other-languages/4597 "2021-12-18T11:14:23Z")
Despite MP having a global community something I think often gets overlooked is the information language barrier that prevents many people engaging fully with the Mina Protocol. Should we look at setting up a database o… --- ## [Long Term Decentralisation ideas?](https://forums.minaprotocol.com/t/long-term-decentralisation-ideas/4683)
**Author:** [@Pete](https://forums.minaprotocol.com/u/Pete)\ **Replies:** 21\ **Last updated:** [December 9, 2021, 8:22pm UTC](https://forums.minaprotocol.com/t/long-term-decentralisation-ideas/4683 "2021-12-09T20:22:28Z")
Currently the minimum amount of Mina required to have any chance of winning a block is 66k. Long term does anyone think this is (or will become) a barrier for greater decentralisation / adoption and if so how could this … --- ## [Voting manipulation with the Mina weight I'm holding](https://forums.minaprotocol.com/t/voting-manipulation-with-the-mina-weight-im-holding/4735)
**Author:** [@kudretthunder](https://forums.minaprotocol.com/u/kudretthunder)\ **Replies:** 1\ **Last updated:** [December 8, 2021, 9:16pm UTC](https://forums.minaprotocol.com/t/voting-manipulation-with-the-mina-weight-im-holding/4735 "2021-12-08T21:16:04Z")
Hello. First of all, I am very happy to be among you and witness the establishment of this ecosystem. It might sound like a dumb question but I really haven’t read it anywhere before and now I’m curious. A question cam…