VeriZEXE vs Taiga (WIP)

ZK-Friendly Hash Functions

FRI Protocol

Binary Field Proof Systems

Plonky3

Henosis

ZCash Spec Details

Merging Transactions with Retroactive Conflicts

ZKVM’s vs ZK Circuits

Notes on Merkle Tree, Verkle Tree and Mutator Sets

Efficient (Non-)Membership Tree from Multicollision-Resistance

Epoch-based Nullifier Database

Private Atomic Transfer Steps

Note Encryption Process

Coordination Layer Notes

PACT Diagram Summary

PACTs Library Review

PoE on Ledger

IMT implementation details

Permissionless Note Nonce Generation Analysis