# Community **URL:** https://forums.minaprotocol.com/c/community/18.md [Latest](https://forums.minaprotocol.com/latest.md) · [Categories](https://forums.minaprotocol.com/categories.md) --- ## [Welcome to MinaResearch! Please read before posting](https://forums.minaprotocol.com/t/welcome-to-minaresearch-please-read-before-posting/4470)
**Author:** [@minacommunity](https://forums.minaprotocol.com/u/minacommunity)\ **Replies:** 1\ **Last updated:** [August 21, 2025, 4:32pm UTC](https://forums.minaprotocol.com/t/welcome-to-minaresearch-please-read-before-posting/4470 "2025-08-21T16:32:27Z")
Welcome to the MinaResearch forum! MinaReseach is a place to actively engage with the Mina Ecosystem in proposing new projects and changes in the protocol in a meaningful way. By joining you commit to improving the Mina… --- ## [About the Community category](https://forums.minaprotocol.com/t/about-the-community-category/4462)
**Author:** [@minacommunity](https://forums.minaprotocol.com/u/minacommunity)\ **Replies:** 0
Here, you will find updates from the Mina Foundation, share your ideas and request help from other members --- ## [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 ·… --- ## [Finding Experts](https://forums.minaprotocol.com/t/finding-experts/7055)
**Author:** [@DavidEBrumbaugh](https://forums.minaprotocol.com/u/DavidEBrumbaugh)\ **Replies:** 1\ **Last updated:** [March 23, 2026, 11:04am UTC](https://forums.minaprotocol.com/t/finding-experts/7055 "2026-03-23T11:04:50Z")
I have a potential project. I’m interested in finding an expert who can train a team and act as a guide for building zkapps. Right now the project isn’t funded, and there’s no guarantee that it will be. Right now, I’d … --- ## [Marketing Ideas for Mina Protocol](https://forums.minaprotocol.com/t/marketing-ideas-for-mina-protocol/5160)
**Author:** [@Serdar](https://forums.minaprotocol.com/u/Serdar)\ **Replies:** 33\ **Last updated:** [March 7, 2026, 1:27pm UTC](https://forums.minaprotocol.com/t/marketing-ideas-for-mina-protocol/5160 "2026-03-07T13:27:53Z")
Hello everyone, Maybe having a little brainstorm under this topic could yield some bright ideas that the marketing team could use to promote Mina Protocol even further. I am aware that, compared to the discussions arou… --- ## [Questions Regarding Validator Participation, Contributor Changes, and Treasury Transparency](https://forums.minaprotocol.com/t/questions-regarding-validator-participation-contributor-changes-and-treasury-transparency/7047)
**Author:** [@hsyoon](https://forums.minaprotocol.com/u/hsyoon)\ **Replies:** 0\ **Last updated:** [February 20, 2026, 8:27am UTC](https://forums.minaprotocol.com/t/questions-regarding-validator-participation-contributor-changes-and-treasury-transparency/7047 "2026-02-20T08:27:52Z")
We recognize that technical development on Mina continues, including protocol upgrades and engineering progress. The work being done by developers is appreciated. At the same time, several recent signals have created co… --- ## [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… --- ## [Introducing the Fungible Token Contract](https://forums.minaprotocol.com/t/introducing-the-fungible-token-contract/6915)
**Author:** [@ymekuria](https://forums.minaprotocol.com/u/ymekuria)\ **Replies:** 8\ **Last updated:** [August 11, 2025, 10:22pm UTC](https://forums.minaprotocol.com/t/introducing-the-fungible-token-contract/6915 "2025-08-11T22:22:48Z")
Intro We’re excited to introduce a new Fungible Token Contract, currently released in beta. This new configurable contract simplifies token deployments, reduces the number of account updates needed for common actions, an… --- ## [o1Labs Engineering Update](https://forums.minaprotocol.com/t/o1labs-engineering-update/6911)
**Author:** [@BeckyHopwood](https://forums.minaprotocol.com/u/BeckyHopwood)\ **Replies:** 0\ **Last updated:** [July 18, 2025, 1:10am UTC](https://forums.minaprotocol.com/t/o1labs-engineering-update/6911 "2025-07-18T01:10:24Z")
:hammer\_and\_pick: o1Labs Engineering Update We’re sharing a look into what the teams at o1Labs have been busy working on behind the scenes. TL;DR: still building, still shipping. :fallen\_leaf: Fall upgrade: The team a… --- ## [Introducing Alphaday - A Customizable Dashboard for the Mina Community](https://forums.minaprotocol.com/t/introducing-alphaday-a-customizable-dashboard-for-the-mina-community/6249)
**Author:** [@Mike-Alphaday](https://forums.minaprotocol.com/u/Mike-Alphaday)\ **Replies:** 0\ **Last updated:** [April 4, 2024, 1:15pm UTC](https://forums.minaprotocol.com/t/introducing-alphaday-a-customizable-dashboard-for-the-mina-community/6249 "2024-04-04T13:15:36Z")
Hello Mina Community! TDLR; Alphaday is a free-to-use comprehensive platform designed to simplify crypto management across devices for users of all experience levels. It offers features like portfolio tracking, real-tim… --- ## [Community Call Recap: Transition Milestones, Ecosystem Priorities, and What’s Next for Mina](https://forums.minaprotocol.com/t/community-call-recap-transition-milestones-ecosystem-priorities-and-what-s-next-for-mina/6883)
**Author:** [@BeckyHopwood](https://forums.minaprotocol.com/u/BeckyHopwood)\ **Replies:** 2\ **Last updated:** [June 26, 2025, 6:55pm UTC](https://forums.minaprotocol.com/t/community-call-recap-transition-milestones-ecosystem-priorities-and-what-s-next-for-mina/6883 "2025-06-26T18:55:45Z")
On June 19, 2025, Josh Cincinnati and Brandon Kase, CEOs of Mina Foundation and o1Labs hosted a community call to share updates on the ongoing transition, product priorities, and the long-term vision for Mina. Due to tec… --- ## [What is the Status of the MINA Navigators Season3](https://forums.minaprotocol.com/t/what-is-the-status-of-the-mina-navigators-season3/6856)
**Author:** [@kamalbuilds](https://forums.minaprotocol.com/u/kamalbuilds)\ **Replies:** 1\ **Last updated:** [May 18, 2025, 2:57pm UTC](https://forums.minaprotocol.com/t/what-is-the-status-of-the-mina-navigators-season3/6856 "2025-05-18T14:57:03Z")
Hey @hgedia , I hope you’re doing well. My name is Kamal and I’m a blockchain developer with 6+ years of experience as well as a former builder of MINA. Over the past several months, I’ve been working on a privacy‑focus… --- ## [MCP server for MINA](https://forums.minaprotocol.com/t/mcp-server-for-mina/6828)
**Author:** [@krish](https://forums.minaprotocol.com/u/krish)\ **Replies:** 1\ **Last updated:** [May 1, 2025, 6:13am UTC](https://forums.minaprotocol.com/t/mcp-server-for-mina/6828 "2025-05-01T06:13:30Z")
Hello there, I am ecstatic to bring you the mcp server I developed for MINA. I ran into this idea while developing an Account Update visualiser and figured we could connect an LLM client (Claude Desktop, in my case) to … --- ## [FAQs: Strategic Changes and Ecosystem Updates](https://forums.minaprotocol.com/t/faqs-strategic-changes-and-ecosystem-updates/6847)
**Author:** [@BeckyHopwood](https://forums.minaprotocol.com/u/BeckyHopwood)\ **Replies:** 0\ **Last updated:** [April 17, 2025, 11:00am UTC](https://forums.minaprotocol.com/t/faqs-strategic-changes-and-ecosystem-updates/6847 "2025-04-17T11:00:25Z")
In case you missed it, CEOs of o1Labs and Mina Foundation, Brandon Kase and Josh Cincinnati recently joined an X space to answer the community’s most frequently asked questions about recent changes in the Mina ecosystem. … --- ## [Illuminate - January Ecosystem Update](https://forums.minaprotocol.com/t/illuminate-january-ecosystem-update/6813)
**Author:** [@BeckyHopwood](https://forums.minaprotocol.com/u/BeckyHopwood)\ **Replies:** 3\ **Last updated:** [February 24, 2025, 5:39pm UTC](https://forums.minaprotocol.com/t/illuminate-january-ecosystem-update/6813 "2025-02-24T17:39:09Z")
PRODUCT & ENGINEERING Product update Last year, Mina Foundation set product priorities which were bucketed into three high-level product objectives: Make it easier to build complex apps on Mina, Build key Web3 infras… --- ## [Mina's AI Agent on Eliza](https://forums.minaprotocol.com/t/minas-ai-agent-on-eliza/6792)
**Author:** [@lispking](https://forums.minaprotocol.com/u/lispking)\ **Replies:** 0\ **Last updated:** [January 26, 2025, 1:03pm UTC](https://forums.minaprotocol.com/t/minas-ai-agent-on-eliza/6792 "2025-01-26T13:03:13Z")
:confetti\_ball:Great progress! At https://github.com/elizaOS/eliza/pull/2702, three key capabilities of Mina’s AI Agent - transfer, balance check, and faucet functions - have been successfully merged into the official E… --- ## [Illuminate - November Ecosystem Update](https://forums.minaprotocol.com/t/illuminate-november-ecosystem-update/6743)
**Author:** [@BeckyHopwood](https://forums.minaprotocol.com/u/BeckyHopwood)\ **Replies:** 4\ **Last updated:** [December 23, 2024, 7:09pm UTC](https://forums.minaprotocol.com/t/illuminate-november-ecosystem-update/6743 "2024-12-23T19:09:19Z")
ILLUMINATE - NOVEMBER ECOSYSTEM UPDATE The Mina ecosystem is heads down shipping as much as possible before year-end so let’s try a different format for this month’s update. Illuminate townhalls will likely be revamped … --- ## [Introducing Mina Token Manager](https://forums.minaprotocol.com/t/introducing-mina-token-manager/6488)
**Author:** [@ied](https://forums.minaprotocol.com/u/ied)\ **Replies:** 5\ **Last updated:** [October 3, 2024, 3:36pm UTC](https://forums.minaprotocol.com/t/introducing-mina-token-manager/6488 "2024-10-03T15:36:06Z")
Hi everyone, I’m excited to share Mina Token Manager, a web application I’ve been working on that helps make deploying and managing fungible tokens on the Mina blockchain more straightforward. The tool leverages Mina’s … --- ## [ Mina Navigator Proposals This category is for keeping up to date with proposals for the Navigators grant program. Proposals can only be created by Admins after they have been vetted. The proposals in this category can be funded or under consideration. ](https://forums.minaprotocol.com/t/mina-navigator-proposals-this-category-is-for-keeping-up-to-date-with-proposals-for-the-navigators-grant-program-proposals-can-only-be-created-by-admins-after-they-have-been-vetted-the-proposals-in-this-category-can-be-funded-or-under-consideration/6489)
**Author:** [@jhon](https://forums.minaprotocol.com/u/jhon)\ **Replies:** 0\ **Last updated:** [October 1, 2024, 8:06am UTC](https://forums.minaprotocol.com/t/mina-navigator-proposals-this-category-is-for-keeping-up-to-date-with-proposals-for-the-navigators-grant-program-proposals-can-only-be-created-by-admins-after-they-have-been-vetted-the-proposals-in-this-category-can-be-funded-or-under-consideration/6489 "2024-10-01T08:06:29Z")
lkol --- ## [Developer knowledge bases](https://forums.minaprotocol.com/t/developer-knowledge-bases/6119)
**Author:** [@taqtiqa-mark](https://forums.minaprotocol.com/u/taqtiqa-mark)\ **Replies:** 1\ **Last updated:** [August 28, 2023, 4:14am UTC](https://forums.minaprotocol.com/t/developer-knowledge-bases/6119 "2023-08-28T04:14:45Z")
This thread collates quality documents (not videos) for beginner, intermediate, and advanced developers. I’ll try to update the listing if any suggestions land in the thread below. Introductory Introducing OpenMina Op… --- ## [Implementation Mina in rust](https://forums.minaprotocol.com/t/implementation-mina-in-rust/6103)
**Author:** [@supportFB](https://forums.minaprotocol.com/u/supportFB)\ **Replies:** 2\ **Last updated:** [August 13, 2023, 11:21pm UTC](https://forums.minaprotocol.com/t/implementation-mina-in-rust/6103 "2023-08-13T23:21:23Z")
Hi All, I followed this GitHub URL - GitHub - ChainSafe/mina-rs: Rust implementation of the Mina protocol, targeting Wasm and ARM architectures.. All commands are running on my server. What should I do next? Please let … --- ## [Seeking Guidance: Running Ouroboros Samasika in Mina on Ubuntu](https://forums.minaprotocol.com/t/seeking-guidance-running-ouroboros-samasika-in-mina-on-ubuntu/6083)
**Author:** [@firebeefaizul](https://forums.minaprotocol.com/u/firebeefaizul)\ **Replies:** 2\ **Last updated:** [June 17, 2023, 6:53pm UTC](https://forums.minaprotocol.com/t/seeking-guidance-running-ouroboros-samasika-in-mina-on-ubuntu/6083 "2023-06-17T18:53:20Z")
Hi all, I wish to run Mina on my local Ubuntu environment. I have the GitHub link (GitHub - MinaProtocol/mina: Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentrali… --- ## [Help Needed: Unclear Build Instructions for Cloned Repository](https://forums.minaprotocol.com/t/help-needed-unclear-build-instructions-for-cloned-repository/6089)
**Author:** [@firebeefaizul](https://forums.minaprotocol.com/u/firebeefaizul)\ **Replies:** 1\ **Last updated:** [June 17, 2023, 6:47pm UTC](https://forums.minaprotocol.com/t/help-needed-unclear-build-instructions-for-cloned-repository/6089 "2023-06-17T18:47:17Z")
Hi @community, I have cloned this repository and I am trying to build the code using make, but the commands are not explained clearly. Could you please suggest how to build this repository? Link :- GitHub - MinaProtoco… --- ## [Troubleshooting Steps for Connecting Local Node in Aura Wallet](https://forums.minaprotocol.com/t/troubleshooting-steps-for-connecting-local-node-in-aura-wallet/6074)
**Author:** [@firebeefaizul](https://forums.minaprotocol.com/u/firebeefaizul)\ **Replies:** 2\ **Last updated:** [May 30, 2023, 6:25am UTC](https://forums.minaprotocol.com/t/troubleshooting-steps-for-connecting-local-node-in-aura-wallet/6074 "2023-05-30T06:25:33Z")
Hi All, I am experiencing difficulties connecting my local node in Aura Wallet. Unfortunately, it remains unconnected. Could you please provide suggestions for resolving this error? I attached my error screenshot to th… --- ## [Transaction MINA](https://forums.minaprotocol.com/t/transaction-mina/6073)
**Author:** [@Den1srus](https://forums.minaprotocol.com/u/Den1srus)\ **Replies:** 0\ **Last updated:** [May 22, 2023, 7:15am UTC](https://forums.minaprotocol.com/t/transaction-mina/6073 "2023-05-22T07:15:31Z")
Good afternoon, please tell me what to do? Two days ago, I sent MINA from the exchange to the exchange, the transaction was successful, but the coins never came. The exchange (Gate io) replied that the transaction was su… --- ## [What about Honest Validators that haven't met minimum Reward Requirements?](https://forums.minaprotocol.com/t/what-about-honest-validators-that-havent-met-minimum-reward-requirements/5150)
**Author:** [@godelbrot](https://forums.minaprotocol.com/u/godelbrot)\ **Replies:** 45\ **Last updated:** [May 12, 2023, 2:44pm UTC](https://forums.minaprotocol.com/t/what-about-honest-validators-that-havent-met-minimum-reward-requirements/5150 "2023-05-12T14:44:41Z")
Was asked to start this topic by Christine. I am one of the GFMs that chose to run my own hardware and not to delegate to a pool in the spirit of making the network as decentralized as possible, however this came at the… --- ## [Wallet not communicating with Ledger wallet](https://forums.minaprotocol.com/t/wallet-not-communicating-with-ledger-wallet/6056)
**Author:** [@Ecomm1](https://forums.minaprotocol.com/u/Ecomm1)\ **Replies:** 1\ **Last updated:** [May 6, 2023, 2:58pm UTC](https://forums.minaprotocol.com/t/wallet-not-communicating-with-ledger-wallet/6056 "2023-05-06T14:58:15Z")
Created a AURO wallet connected to my Ledger wallet. I cannot stake or send funds from AURO wallet. It appears the AURO wallet is not communicating with Ledger even though the light is green. Any ideas? Thanks --- ## [Delegation Program FAQs](https://forums.minaprotocol.com/t/delegation-program-faqs/6044)
**Author:** [@minacommunity](https://forums.minaprotocol.com/u/minacommunity)\ **Replies:** 0\ **Last updated:** [April 25, 2023, 5:08am UTC](https://forums.minaprotocol.com/t/delegation-program-faqs/6044 "2023-04-25T05:08:34Z")
How will delegatees know there is a vote they need to participate in? Delegatees will receive relevant emails containing; Votes required. Dates for votes. Link to governance post on how to vote and voting period. Wher… --- ## [verification of blockchain snark failed but it was our fault](https://forums.minaprotocol.com/t/verification-of-blockchain-snark-failed-but-it-was-our-fault/6043)
**Author:** [@firebeefaizul](https://forums.minaprotocol.com/u/firebeefaizul)\ **Replies:** 0\ **Last updated:** [April 24, 2023, 11:36pm UTC](https://forums.minaprotocol.com/t/verification-of-blockchain-snark-failed-but-it-was-our-fault/6043 "2023-04-24T23:36:21Z")
Hi everyone, Having error while I am hitting mina daemon using this command(mina daemon --peer-list-url https://storage.googleapis.com/mina-seed-lists/mainnet\_seeds.txt). Error Message:- 2023-04-24 05:41:42 UTC \[Warn\]… --- ## [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… [Next page](https://forums.minaprotocol.com/c/community/18.md?page=1)