Dmitrii Zatona
Principal Systems Architect (Security / Cryptography)
New to Contra
Dmitrii is ready for their next project!
Netect Intelligence -- Engineering Firm
Complex technical projects that standard contractors won't quote. Cryptographic infrastructure, confidential computing, embedded firmware, AI systems, high-throughput backends.
Where others say six months and a team of eight -- delivery in weeks with minimal headcount. Weekly deliverables, scope-locked, async-first.
0
22
Thunderwind -- Verifiable Computation Platform
Thunderwind provides cryptographic proof that source -> binary -> runtime -> output is an unbroken chain. No trust required in the operator or cloud provider.
Hardware foundation: Intel TDX (CPU-enforced memory encryption), TPM measurements bound to application keys, immutable OS images with zero manual access points.
Components built in Rust: Guest Agent (attestation and claim signing inside TDX), Remote Attestation CA (validates hardware quotes), Control Plane (workload lifecycle and attestation policy), CLI (trust chain inspection). Infrastructure via Terraform + Packer, React dashboard for cluster health and attestation status. Runs on Azure DCesv5-series confidential VMs.
Built solo in 3 months.
0
25
Evidentum -- ATL Protocol as a Managed Service
Evidentum is a managed API service built on ATL Protocol. Send a request -- get back a cryptographic Evidence Receipt: tamper-evident, offline-verifiable, anchored to RFC 3161 TSA and Bitcoin blockchain.
$0.10 per request. No subscriptions, no rate limits. Minimum top-up $5.
Optional evidence custody: store the original payload for 24 hours to 10 years ($0.50–$15 per record).
For teams that need integration help: done-for-you integration package at $5,000 one-time, 5-day delivery, 30 days support.
Enterprise: remote on-premise deployment, self-hosted open source with support, custom SLA, HIPAA/SOC2 compliance assistance.
0
32
ATL Protocol -- Cryptographic Audit Trail Standard
ATL Protocol is an open cryptographic standard for privacy-preserving, verifiable, append-only logs. Built on RFC 6962/9162 Merkle trees, RFC 8032 Ed25519, RFC 8785 JCS canonicalization, RFC 3161 TSA anchoring, and Bitcoin OpenTimestamps.
Core idea: log operators store data privately, only cryptographic roots anchor externally. Every entry gets a self-contained Evidence Receipt (.atl file) -- verifiable offline, without contacting the server or trusting the operator.
Two-level architecture: Data Trees aggregate into a Super-Tree, enabling O(log N) consistency proofs across the full log history. Two receipts from any two parties cryptographically prove the log history between them was not altered.
Trust comes exclusively from external anchors -- TSA or Bitcoin -- not from operator keys. A valid receipt with one verified anchor is trustworthy even if you've never seen the operator's public key.
Reference implementation: atl-core (Rust, Apache 2.0). Spec at atl-protocol.org (http://atl-protocol.org).
0
42