MinimalDF: A minimal feature implementation of DarkForest on harmony


MinimalDF is a zero-knowledge proof-based game based on the original darkforest game. It has the basic feature set and functionality of the original darkforest game.

Application type


Proposal Overview

MinimalDF serves as a proof of concept implementation and as a teaching tool for the original darkforest game. The game has player spawn and move functionality. Players can interact with the frontend and submit snark proofs to generate and move to different locations in the game without revealing their coordinates. Specific locations contain planets, and each planet has a different amount of resources. To reveal what each location contains, players have to mine coordinates, and the objective is to collect the maximum amount of resources.

Use Cases

  1. Games bring a lot of traffic to the ecosystem. The traffic generated can stress test the harmony chain. For context, the original darkforest game led to a massive increase in traffic on the Ethereum network, almost crashing it. The influx of users could potentially draw more users to the ecosystem and demonstrate the advantages of harmony.

  2. MinimalDF serves as a pedagogical tool for zku. Darkforest is one of the most popular applications of zkp, and students at zku are taught and given assignments based on it. MinimalDF, a barebones implementation of darkforest, is easy to understand and extend for students new to the field.

Proposal ask

In order to get this up and running, we request $15k/year stable basic income to take care of welfare and development costs.

This ask will be in line with the laid down milestones as detailed below

  1. launching a feature-complete product on testnet
  2. forming a DAO with 5-out-of-9 multisig with our DAOs
  3. launching on our mainnet with audit
  4. attracting 1k daily active users (with launch video, full PR promotion)
  5. attracting 10k daily active users (with a detailed roadmap, governance process)

Road Map

MinimalDF is currently live on harmony mainnet.

Objective Date Status
Testnet launch Feb 21st Done
Beta testing Apr 15th Pending
Contract Audit Apr 30th Pending
Mainnet Launch Mar 2nd Done
Improvements May 15th Pending

Post the full launch of Minimaldf, we would continue work on the project and keep adding more features to make it more interesting and fully playable.

External links

Hosted website


Github repo

Github frontend repo

Crypto gaming thesis

1 Like

This application can be used by zku for teaching students and help them better understand dark forest game. Also it utilizes low fees of Harmony blockchain, which can attract more users. I support this idea. As a governor of zkDAO it’s yes from me.

This application is invaluable to understanding the dark forest game and benefits from the low fees and 2-second finality of Harmony. It’s a yes from me as a governor of zkDAO

DF is probably the most interesting implementation of zkp on chain and one of the most playable zk game out there. Strong yes from me as a governor.

it seems that one interesting possibility is, from here, one can also develop the game into different variants. i wonder if the applicant has considered already suggesting this as an idea to current ZKU students, to fork this version of DF instead of the much more complicated current official version of DF, to build new games of their own as final projects

given such potentials, a yes from me as a governor as well

Exciting project! A strong yes from me as a zkDao governor.

Great resource to teach dark forest to new-comers into zero-knowledge. The game is also super interesting so this is a strong yes for me as a ZKU governor

with 6 positive votes we can fund this project. since the applicant has reached milestone 1 we will start paying DBI to him by the beginning of April.

Strong yes from me, zk governor, and would love to get a DF-related game on Harmony.

Milestone 2

A DAO has been formed with a 5-out-of-9 multisig (address: 0x1537af8E676a9d2D6Ac57ebab0a7bCE81215D00A)

minimalDF DAO


  1. Maintain and promote the use of the application to serve its purpose as a pedagogical tool for ZKU.
  2. Improve and extend minimalDF to add more features.

Founding Governors

Governor of zkDAO and teaching assistant at ZKU pursuing bachelor’s in Computer Science and Engineering.

Founder of zkPhoto, governor at zkDAO, and teaching staff at ZKU. Cathie is a public speaker and instructor on the topics of machine learning, blockchain, and web3 development in Hong Kong.

Governor at zkDAO and teaching staff at ZKU. Alex is a master’s degree student and TA at the Faculty of Technical Sciences in Novi Sad, Serbia.

Governor at zkDAO and teaching staff at ZKU. Tosin is a software engineer at a leading bank in Africa and contributing to the Harmony Blockchain in the areas of zero-knowledge proofs and privacy.

Governor at zkDAO and course director of ZKU. Hakwan has over 14 years of experience in tertiary education. Besides working at Harmony as a core team member, he also directs the Laboratory for Consciousness at the RIKEN Institute (Center for Brain Science) near Tokyo.

Teaching staff and graduate from the second cohort of ZKU, software developer and a founder of a startup building a product for people who work in the Web3 field pseudonymously.

Governor at zkDAO and teaching staff at ZKU. Semar also works at Webb-Protocol as a software engineer.

Teaching staff at ZKU. Pran is an engineer contributing to Cardano and Harmony ecosystems, working on wallets, bridges, and zero-knowledge proof.

She is currently a tenured associate professor at UCLA. She studies social networks and has previously worked with Harmony on research about data marketplace and privacy. She will contribute to the DAO with her expertise in university-level administration and funding management.

1 Like

Congrats on reaching milestone 2, confirming as a zkDAO governor.

Congratulations. Confirming milestone 2 as a zkDAO governor

As a governor of zkDAO, I can confirm that milestone 2 has been reached.