Mina (Attestations)

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