Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
51 commits
Select commit Hold shift + click to select a range
59dc650
updated lang-ref, compact grammar, ledger-adt.mdx.
dybvig Mar 9, 2026
4857655
first cut at markdown version of compact-grammar.mdx along with
dybvig Mar 9, 2026
b2574eb
commiting the latest compact-grammar.mdx plus some changes to
dybvig Mar 9, 2026
05ffc7c
limit lang-ref-table to <table> elements
dybvig Mar 10, 2026
31a4e4a
latest compact-grammar.mdx complete with link marks and references
dybvig Mar 10, 2026
23de83d
backed out limiting lang-ref-table to table elements for now
dybvig Mar 10, 2026
ca4cba9
latest lang-ref.mdx
dybvig Mar 10, 2026
8c23acc
latest lang-ref.mdx and compact-grammar.mdx
dybvig Mar 10, 2026
4130811
latest compact reference, grammar, and keywords mdx files
dybvig Mar 10, 2026
ad442c3
fix links
pataei Mar 10, 2026
0827135
updated lang ref
dybvig Mar 11, 2026
9e5222d
Merge branch 'lang-ref-1.0' of github.com:midnightntwrk/midnight-docs…
dybvig Mar 11, 2026
290eabc
latest compact-reference.mdx and compact-grammar.mdx
dybvig Mar 11, 2026
b343f13
Merge branch 'main' into lang-ref-1.0
pataei Mar 11, 2026
5854c37
latest lang-ref.mdx
dybvig Mar 11, 2026
d007407
Merge branch 'lang-ref-1.0' of github.com:midnightntwrk/midnight-docs…
dybvig Mar 11, 2026
5b5c576
current lang-ref.mdx
dybvig Mar 11, 2026
0d3144f
added border: none; to custom.css code {} section to eliminate the
dybvig Mar 11, 2026
0141f2e
latest lang-ref.mdx and compact-grammar.mdx
dybvig Mar 12, 2026
980a2d3
latest lang-ref.mdx and compact-grammar.mdx
dybvig Mar 12, 2026
55a0fc5
latest lang-ref.mdx and compact-grammar.mdx
dybvig Mar 13, 2026
58f6a6c
latest version of lang-ref.mdx
dybvig Mar 15, 2026
962e8c2
latest lang-ref.mdx
dybvig Mar 15, 2026
d8d8304
latest lang-ref.mdx
dybvig Mar 16, 2026
99e3268
latest lang-ref.mdx
dybvig Mar 16, 2026
2e03436
latest lang-ref.mdx with supposedly proper typesetting of variable
dybvig Mar 16, 2026
58f1959
Merge branch 'main' into lang-ref-1.0
dybvig Mar 16, 2026
e22d9e7
latest versions of lang-ref, compact-grammar, compactkeywords, and
dybvig Mar 16, 2026
10bb9bc
EXPERIMENTING
JosephDenman Mar 16, 2026
47450bb
latest versions of the generated language documents with DO NOT EDIT
dybvig Mar 16, 2026
319d641
Merge branch 'lang-ref-1.0' of github.com:midnightntwrk/midnight-docs…
dybvig Mar 16, 2026
59c7232
latest lang-ref.mdx
dybvig Mar 16, 2026
04e2650
latest lang-ref.mdx
dybvig Mar 16, 2026
0718800
latest lang-ref.mdx
dybvig Mar 16, 2026
8a212c1
latest lang-ref.mdx
dybvig Mar 17, 2026
d52d08e
revisions to .lang-ref code { } style
dybvig Mar 17, 2026
7745b17
latest lang-ref.mdx
dybvig Mar 18, 2026
0e9ce6d
latest lang-ref.mdx and ledger-adt.mdx
dybvig Mar 19, 2026
36fee24
latest lang-ref.mdx
dybvig Mar 20, 2026
a6185c0
lang-ref --> compact-reference
pataei Mar 24, 2026
bd8ff73
latest changes of compact-reference
pataei Mar 24, 2026
fbb977b
Merge branch 'main' into lang-ref-1.0
pataei Mar 24, 2026
f850fc2
small edit
pataei Mar 24, 2026
5b1a33f
apply David's feedback
pataei Mar 24, 2026
2dbf9d2
add padding to code snippets in lang ref
pataei Mar 24, 2026
b4e5583
increased code {} and lang-ref code {} padding to 2px;
dybvig Mar 24, 2026
8acd071
Merge branch 'main' into lang-ref-1.0
pataei Mar 24, 2026
cf05fe8
Merge branch 'main' into lang-ref-1.0
gyrationtechs Mar 25, 2026
68a08d6
Merge branch 'main' into lang-ref-1.0
pataei Mar 25, 2026
addd34f
fix broken link
pataei Mar 25, 2026
556504d
Merge branch 'main' into lang-ref-1.0
pataei Mar 25, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion CODEOWNERS
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
* @midnightntwrk/mn-techwriting @midnightntwrk/mn-devrel @midnightntwrk/mn-codeowners-docs

/docs/develop/reference/compact/lang-ref.mdx @midnightntwrk/mn-codeowners-compact @midnightntwrk/mn-codeowners-docs
/docs/compact/ @midnightntwrk/mn-codeowners-compact @midnightntwrk/mn-codeowners-docs
/.github/ISSUE_TEMPLATE/ @midnightntwrk/mn-security @midnightntwrk/mn-sre
/.github/PULL_REQUEST_TEMPLATE/ @midnightntwrk/mn-security @midnightntwrk/mn-sre
/.github/workflows/scan.yaml @midnightntwrk/mn-security @midnightntwrk/mn-sre
Expand Down
4 changes: 2 additions & 2 deletions blog/2025-06-02-intro-to-web3-smart-contracts-compact.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ date: 2025-06-20

As I continue my journey through the world of Web3, I’ve been digging into the building blocks that make privacy-first platforms like Midnight possible (you can catch up on previous posts in the Midnight Dev Diaries!). This week, I focused on two foundational pieces that go hand in hand: smart contracts on Midnight and the Compact language that powers them.

Smart contracts aren’t new to blockchain, but Midnight’s approach is unique. Instead of executing code directly on-chain, Midnight uses smart contracts to define rules that are enforced off-chain through zero-knowledge proofs. At the center of this system is [Compact](https://docs.midnight.network/develop/reference/compact/lang-ref)—a purpose-built language designed to make writing these privacy-preserving contracts both secure and practical.
Smart contracts aren’t new to blockchain, but Midnight’s approach is unique. Instead of executing code directly on-chain, Midnight uses smart contracts to define rules that are enforced off-chain through zero-knowledge proofs. At the center of this system is [Compact](https://docs.midnight.network/develop/reference/compact/compact-reference)—a purpose-built language designed to make writing these privacy-preserving contracts both secure and practical.

To better understand how this works in practice, I also worked through [Module 2 of the Midnight Developer Academy](https://docs.midnight.network/academy/module-2), which covers key concepts such as contract structure, circuit types, and the relationship between the contract and the external logic that executes it.

Expand Down Expand Up @@ -74,6 +74,6 @@ Smart contracts are the foundation of decentralized applications—but at Midnig

At Midnight, this isn’t just a theoretical improvement—it’s core to how the platform operates. Compact smart contracts let developers write verifiable, auditable logic while keeping inputs and execution off-chain. Combined with ZKPs and shielded transactions, they create an infrastructure that supports real-world use cases without compromising on privacy or decentralization.

If you're learning how to build smart contracts in Web3—or just curious how these pieces fit together—I highly recommend diving into [Module 2 of the Midnight Developer Academy](https://docs.midnight.network/academy/module-2) and reviewing the [Compact Language Reference](https://docs.midnight.network/develop/reference/compact/lang-ref). These resources break down the concepts step by step and show how Midnight’s architecture turns advanced cryptography into practical developer tools.
If you're learning how to build smart contracts in Web3—or just curious how these pieces fit together—I highly recommend diving into [Module 2 of the Midnight Developer Academy](https://docs.midnight.network/academy/module-2) and reviewing the [Compact Language Reference](https://docs.midnight.network/develop/reference/compact/compact-reference). These resources break down the concepts step by step and show how Midnight’s architecture turns advanced cryptography into practical developer tools.

I’ll be back next week with more insights as I continue to unpack the pieces that make privacy-first systems work in the decentralized world.
12 changes: 0 additions & 12 deletions docs/compact/reference/all-keywords.mdx

This file was deleted.

Loading
Loading