For the complete documentation index, see llms.txt

Tutorials

Step-by-step tutorials for building DApps on Midnight Network. Start with the entry-level tutorials and work up to end-to-end deployments.

✦

Bulletin board

Build a bulletin board DApp that uses ZK proofs for access control, so users can post and remove messages without revealing their identity on-chain.

Build bulletin board→

✦

Private party

Build a privacy application that demonstrates the privacy boundary in Midnight DApps.

Write the contract→

✦

Battleship

Write a contract that mixes public and private state as a state machine, then verify it with MidnightJS tests on a local devnet.

Build Battleship→

✦

Leaderboard

Build a full-stack DApp with structured on-chain data, privacy controls via disclose(), Lace wallet integration, and production deployment.

Build leaderboard→

✦

ZK Loan

Build a loan DApp that privately evaluates credit data with ZK proofs, covering Compact contract logic, a Schnorr-signed attestation API, and a CLI.

Build ZK Loan→

What each tutorial covers

Each tutorial teaches a different slice of the Midnight stack. Pick a feature or pattern from the dropdown to see which tutorials teach it, or expand a section to compare tutorials row by row. A filled dot means the tutorial teaches the feature in depth, an outlined dot means the feature appears only briefly, and an empty cell means the tutorial does not cover it. Every dot links to the section of the tutorial where the feature is covered.

Browse by feature or problem

All featuresFieldUintBytesBooleanOpaque typesTuples and destructuringStructsEnumsVectorMaybe / Eitherif / elseType castingImporting modules (import, include)Declaring modules (module {})Nominal type aliases (new type)Bounded compile-time for loopsdefault<T> initializationTernary / branchless selectionLedger CounterLedger CellLedger MapLedger SetLedger ListNested ADTsSealed ledger fieldsexport modifierConstructorPublic (exported) circuitsPure circuitsWitnessesdisclose()persistentCommitpersistentHashtransientHashCommit-revealUnlinkable actions (rotating keys)Selective disclosureDomain separationSecret/preimage-based authorizationWitness-derived caller identity (not ownPublicKey())Shielded tokensUnshielded tokensNative token (NIGHT)Token colorssendUnshieldedWitness settersWitness gettersIntermediate witnesses (modifiers)Connect walletAuthorizationNetwork ID handlingReading wallet stateSubmitting transactionsError handlingTransaction serialization and wallet handoffProvidersdeployContractfindDeployedContractCalling circuits from TypeScriptObserving contract statePrivate state storagePrivate state modificationMalicious private stateTransaction lifecycleError typesWallet generationAddress encoding and decodingBalance queriesDUST registrationSync state and wallet readinessWallet to DApp signing flowRecipe APINIGHT to DUST generation lifecycleDUST as a fee resourceDevnet up and downProof serverTest wallets (Alice, Bob, Charlie)Funding test accountsIndexer subscriptionsVitest test suiteNegative-path and adversarial testsMulti-network targetingFaucet funding flowSelf-contained bundled devnetIn-circuit Schnorr signature verification (Jubjub)Elliptic curve stdlib operationsWitness-assisted range reductionPIN-rotatable identity with batched migrationOff-chain attestation signing service

Show

Sections

Feature / problem	Bulletin board	Private party	Battleship	Leaderboard	ZK Loan
	14	14	14	10	22
	4	3	3	3	4
	5	6	7	5	7
	4	5		1	3
	2		3	1	1
				7
	8	5	8	7	9
	9	2	6	4	9
	7	6	8	4	7
					5

Taught in depth Touched briefly Not covered DApp Contract

note

This matrix covers the written tutorials. Coverage data lives in src/components/CoverageMatrix/tutorialsData.jsx. When a tutorial is added or substantially updated, update the matrix there too.