Skip to main content
  1. Contact Info/

Perry's Résumé - Blockchain Engineering

·1046 words·5 mins
Perry Kundert
Author
Perry Kundert
Communications, cryptography, automation & monetary system design and implementation.

R&D engineer with 30+ years building secure, high-performance distributed systems; now focused full-time on blockchain infrastructure. Designed a complete wealth-backed monetary system on Ethereum EVM: ERC-20 tokens with identity-aware transfers, ERC-721 insured-asset NFTs, parametric insurance smart contracts, and a privacy-preserving bearer-note layer built on Groth16 SNARKs over Poseidon Merkle commitment pools. The work spans smart contract architecture in Solidity, cryptographic protocol composition (ElGamal re-encryption, Chaum-Pedersen equality proofs, Pointcheval-Sanders credential rerandomization), zk-circuit design, formal correctness verification, and economic mechanism design; all implemented and verified end-to-end on BN254. Comfortable reading specs, debugging hard problems, and learning new corners of the stack. (PDF, Text)

Technical Skills

  • Smart Contracts & EVM: Solidity (ERC-20, ERC-721, custom), Ethereum, Polygon, Hardhat, Foundry, OpenZeppelin, DeFi integration (Uniswap AMM pools, Chainlink oracles)
  • Languages: Rust (5+ yrs), C++ (25+ yrs), Python (15+ yrs), C, Go, Solidity
  • Zero-Knowledge & Cryptography: Groth16 SNARKs, circom/snarkjs, Poseidon hashes, Merkle trees, nullifier sets, ElGamal encryption, Chaum-Pedersen equality proofs, Schnorr signatures, Pointcheval-Sanders credentials, Fiat-Shamir NIZK transforms; implemented, composed, and formally verified on BN254
  • Distributed Systems & Consensus: CAP/BFT systems, partition-tolerant protocol design, DHTs, agent-centric accounting, consensus without global coordination
  • Networking & Concurrency: JSON-RPC, gossip protocols, mTLS 1.3, WebSockets, WebTransport, QUIC, lock-free wait-free concurrency, real-time systems
  • Performance: SIMD (Intel AVX, ARM NEON), SDR signal processing, hot-path profiling, throughput optimization
  • DevOps & Infra: Linux, Docker, CI/CD, Git, deterministic builds (Nix), GDB, Valgrind, Linux Perf

Experience

R&D Consultant, Dominion R&D Corp. (Remote, 2009–Present)

/Architected a complete blockchain-based monetary system; smart contracts, cryptographic identity, zero-knowledge privacy primitives, and economic mechanism design. Guided teams through cryptographic and distributed systems architecture./

  • Designed the Alberta Buck protocol, a full Ethereum EVM smart contract system comprising:

    • BUCK (ERC-20): Identity-aware fungible token with continuous demurrage accounting, on-chain credit-limit enforcement against pledged assets, and Chaum-Pedersen NIZK re-encryption proofs gating every counterparty-pair transfer.
    • BUCK_CREDIT (ERC-721): Insured real-world-asset NFTs with deterministic depreciation curves and parametric insurance integration; the collateral backing the ERC-20 supply.
    • IdentityRegistry: On-chain PS-signature credential registry with ElGamal-encrypted identity points, verified via BN254 precompile NIZK at registration; the trust anchor every transfer is gated on.
    • Notes: Privacy-preserving bearer-instrument layer. Tornado-style incremental Poseidon Merkle commitment pool with Groth16 SNARK batch-mint and per-flavor spend circuits. Three flavors (A1 addressed cheque, A2 private cheque, B1 bearer cheque) collapse to two circuit shapes covering every deferred-approve use case: self-wormholes, signed cheques, printable paper notes indistinguishable from cash.
    • BUCK_K: PID-controlled algorithmic issuance stabilizer referencing a commodity-basket price oracle; automated monetary policy without central bank intervention.
  • Composed and verified the full cryptographic stack with executable py_ecc sanity checks on BN254 (formal verification by qualified mathematicians and cryptographers remains to be done):

    • Pointcheval-Sanders signature rerandomization for unlinkable credentials.
    • Chaum-Pedersen re-encryption equality proofs for bilateral identity disclosure; proved completeness, special soundness, and honest-verifier zero-knowledge, lifting to NIZK via Fiat-Shamir in the random oracle model.
    • A-spend and B-spend SNARK soundness, confirming that only the named recipient can deposit an addressed note and that bearer-cheque deposit always identifies the depositor.
    • Domain-separated Poseidon PRF nullifiers with double-spend prevention across both note flavors.
    • Mutual-decryptability invariant preservation; every note spend yields bilateral identity disclosure between counterparties.
  • Designed economic mechanisms for MEV-resistant DeFi integration:

    • Analyzed how PID-controlled issuance (with proportional and derivative terms) automatically counteracts whale manipulation of BUCK/stablecoin AMM pools; the system transfers the attacker's assets to legitimate credit holders.
    • Modeled the effect of front-running-resistant oracle design: multiple independent controller implementations (PID, Kalman-filtered PID, MPC) with median-value aggregation prevent any single oracle compromise from moving the issuance multiplier.
    • Designed parametric default insurance with risk-proportional premium investment in a mutual insurance pool; algorithmic premium setting eliminates underwriter discretion.
  • Built Python simulation and modeling infrastructure:

    • Full economic simulations of mortgage vs. BUCK issuance across 25-year horizons.
    • Seigniorage extraction analysis: proved commercial banks earn 2× the profit of a private lender on identical loans, solely from the regulatory privilege of ex-nihilo deposit creation.
    • Commodity-basket stability analysis (BCPI + labour) demonstrating BUCK would have been more stable than CAD$ over the last 50 years.
    • Statistical PID controller tuning for the BUCK_K Value Stabilization Factor.
  • Developed widely-used open-source cryptographic libraries:

    • python-slip39: Cross-platform Shamir secret sharing for BIP-39 seed backup and recovery.
    • ezpwd-reed-solomon: High-throughput C++/JS Reed-Solomon FEC, used by aerospace and defense systems globally.
    • cpppo: Industrial EtherNet/IP protocol implementation in Python.
  • Alberta Buck Architecture · BUCK Notes · Formal Proofs · Identity System
  • Ethereum Implementation · Slide Deck · python-slip39 · ezpwd-reed-solomon

Distributed Systems R&D, Holo Ltd. (Kelowna, BC 2018–2020)

Architected and tested prototypes of HoloFuel's novel partition-tolerant transaction engine in Rust.

  • Implemented agent-centric accounting enabling linear O(n) scaling vs. O(n²) blockchain bottlenecks; each agent held its own signed transaction chain, with bilateral settlement during network partitions.
  • Validated simultaneous atomic transactions across partitioned networks; demonstrated that mutual-credit systems can settle without global consensus.
  • Developed statistical models and PID control systems for economic stabilization across distributed agents.
  • Contributed to R&D for Holochain's distributed application framework.

Software Engineer, clearGRID Ltd. (Kelowna, BC 2017–2022)

Built fault-tolerant distributed telemetry consensus without synchronized state machines.

  • Architected real-time SDR system processing 25 Msps I/Q signals on commodity hardware; consensus on meter readings across lossy RF channels without global coordination.
  • Optimized AVX/NEON SIMD vector processing for multi-channel demodulation at the network edge.
  • Implemented fault-tolerant distributed consensus for partial data collected from multiple samples across unreliable channels.

Sr. IT Advisor, Enbridge Pipelines (Edmonton, AB 2002–2009)

Deployed partition-resilient SCADA maintaining safety-critical consensus during network splits.

  • Architected Reed-Solomon erasure-coded multi-route protocol enabling real-time SCADA operation through crippling communications failures; a BFT-style availability guarantee implemented a decade before blockchain made the terminology common.
  • Implemented multi-path routing maintaining cryptographic integrity across hostile network environments.
  • Developed solid-state RTU firmware for 24/7 pipeline control with <1 defect per 10,000 LOC.
  • Secured communications for $100B+ critical energy infrastructure.

Software Developer, Hewlett-Packard (Calgary, AB 1989–1996)

Pioneered state-machine consensus for distributed industrial control systems.

  • Re-engineered RTAP's core SCADA alarm system with DFA state machines for geographically distributed safety-critical workflows; deterministic state transitions without central coordination, deployed continent-wide and still operational after 30+ years.

Open Source & Publications

  • python-slip39: Cross-platform SLIP-39 Shamir secret sharing implementation (Python)
  • ezpwd-reed-solomon: High-performance Reed-Solomon FEC (C++, JavaScript)
  • cpppo: Industrial EtherNet/IP and Modbus protocol implementation (Python)
  • holofuel-model: Distributed mutual-credit economic simulation
  • Authored series of technical papers on blockchain architecture, zero-knowledge identity systems, cryptographic protocol composition and formal verification, consensus algorithms, and monetary system design; perry.kundert.ca/range/finance/

Education

B.Sc. Computer Science, University of Calgary (Calgary, AB 1984–1989)