_posts/ named YYYY-MM-DD-slug.md, and GitHub Pages rebuilds the site on every push.
Math is rendered client-side with KaTeX. Inline math uses $$ ... $$ on the same line, like $e = mc^2$, and display math uses $$ on its own lines:
A SNARK for a relation $\mathcal{R}$ is succinct if the proof $\pi$ and the verifier’s running time are $\mathrm{poly}(\lambda, \log \lvert C \rvert)$ for a circuit $C$. (One gotcha: write $\lvert x \rvert$ rather than |x| in inline math, because a bare pipe makes Markdown think the line is a table.)
Fenced code blocks are highlighted at build time:
fn evaluate<F: Field>(coeffs: &[F], point: F) -> F {
// Horner's rule: O(n) field operations.
coeffs.iter().rev().fold(F::zero(), |acc, c| acc * point + *c)
}
Blockquotes look like this.
| Scheme | Proof size | Verifier |
|---|---|---|
| Groth16 | 3 G | O(1) |
| Pari | 2 G + 2 F | O(1) |
| DewTwo | 4.5 KB | O(log N) |
Images go in assets/img/ and are referenced with . Footnotes work too.1
Like this one. ↩