Mina (Attestations)

$22.00

Everything you need to learn the Mina Attestations library: 55 comprehensive code tours totaling over 650 steps, formulas presented in LaTeX, and a detailed glossary.

Click here to watch video preview

Hackenproof, 24 May → 20 Jun 2025

Everything you need to learn the Mina Attestations library: 55 comprehensive code tours totaling over 650 steps, formulas presented in LaTeX, and a detailed glossary.

Click here to watch video preview

Hackenproof, 24 May → 20 Jun 2025

Code Tours

  • 1.1: Mina-Attestations • Architectural Fly-Over

  • 2.1: Utilities: Overview

  • 2.2: Core Utility Functions (util.ts)

  • 2.3: Utility Type Helpers (types.ts)

  • 3.1: dynamic-library: Overview

  • 3.2: Fixed & Dynamic Arrays

  • 3.3: Bytes & String Specialisations

  • 3.4: Dynamic Records

  • 3.5: Hashing Arbitrary Data

  • 3.6: Utility Gadgets

  • 3.7: SHA-2 Engine & DynamicSHA2

  • 3.8: Keccak-256 & DynamicSHA3

  • 3.9: Schema Helpers

  • 4.1: Operation-DSL: Overview

  • 4.2: Node & Operation DSL Core

  • 4.3: Program-Spec Builder

  • 4.4: NestedProvable Helper

  • 5.1: Credential Primitives: Overview

  • 5.2: Core Credential Model & Verification

  • 5.3: Native Credentials

  • 5.4: Imported Credentials

  • 5.5: Credential API & Serialization

  • 6.1: Program-Generation: Overview

  • 6.2: createProgram() – From Spec to ZkProgram

  • 6.3: ProvableFactory – Registering & Serialising Provable Types

  • 6.4: TypeBuilder – Fluent Composition of Provable Types

  • 6.5: o1js-missing.ts – Utility Patch-Kit

  • 7.1: Serialization component: Overview

  • 7.2: Provable Serialization – serialize-provable.ts

  • 7.3: Spec Serialization – serialize-spec.ts

  • 7.4: Runtime Validation Schemas – validation.ts & index

  • 8.1: Presentation Workflow: Overview

  • 8.2: Context Hashing & Types

  • 8.3: Building Presentation Requests

  • 8.4: Preparing & Creating Presentations

  • 8.5: Verification Flow & In-Circuit Proofs

  • 8.6: Pretty-Printer Utility

  • 9.1: rsa-support: Overview

  • 9.2: Bigint2048 – limb representation & range checks

  • 9.3: High-precision modular multiplication gadget

  • 9.4: RSA-PKCS#1 v1.5 verification flow

  • 9.5: Utilities – key generation, primes & exponentiation

  • 10.1: Email-Support: Overview

  • 10.2: Utility Encoders – Base64 & DER

  • 10.3: DNS-over-HTTPS Resolver

  • 10.4: DKIM Header Parser

  • 10.5: DKIM Verification Flow

  • 10.6: ZkEmail – Preparing a Provable Email

  • 10.7: Recursive Hash Program Infrastructure

  • 10.8: Header & Body Hashing and Full Email Verification

  • 10.9: Header-Only Verification Variant

  • 11.1: imported-credentials: Overview

  • 11.2: Ecdsa-Ethereum Credential Spec

  • 11.3: ZkPass Imported Credential Utilities

  • 12.1: Public API Barrel: src/index.ts