Zero Knowledge & Privacy Engineering [WIP]
Zero Knowledge & Privacy Engineering — Master zkSNARKs with Circom, Soulbound NFTs, and Zkredential.
Prove credentials dynamically. Compile Circom circuits, build witness generators, Poseidon hashing, and mint soulbound NFT credentials.
ZK Credential Verifier
Based on ZKredential — MIT hackathon top-15. Circom circuits, Groth16 proofs, Poseidon hashing, ERC-5192 Sbound NFTs, Polygon Amoy.
ZK Foundations
Snarks, Starks, trusted setup, interactive caves, and on-chain selective disclosure.
Circom & zkSNARKs
Circom signals, constraints, Poseidon hash optimization, witnesses, and Solidity Verifiers.
Circom language basics
UpcomingSignals, custom components, linear constraints.
Poseidon hashing vs SHA-256 in ZK circuits
ZK-friendly math. Why SHA-256 constraint counts explode inside SNARKs.
Witness generation and proof creation
UpcomingWitness, inputs, snarkjs commands, and proof sizes.
Verifier.sol — auto-generated on-chain verifier
Upcomingsnarkjs verifier export, verifyProof() executions.
Selective Disclosure Systems
Credential circuits, ZKredential workflows, soulbound NFTs, and employer portals.