The problem
Salary negotiation runs on unverifiable claims.
Candidates can fake a competing offer with a doctored screenshot. Engineers can't prove real technical experience without exposing NDA'd or private work. Employers end up over-trusting, or stonewalling. POSTER
Offer screenshots
Easy to fake — a doctored PNG is all it takes to invent a competing offer. POSTER
Résumés
Self-reported and unverifiable — real experience often sits in NDA'd or private work. POSTER
Manual negotiation
Slow, adversarial, and zero privacy — someone always shows their number first. POSTER
What is it
"Run negotiation and verification inside a hardware-secured enclave: sealed input, attested output, nothing else crosses the line." POSTER
For HR teams and hiring managers negotiating technical offers, where both sides have real numbers to protect. The employer pays and sends the link; the candidate joins from it. Not just private — provable: the outcome carries a hardware proof that the published code ran, unmodified. POSTER DECK
What it does
Five claims on the poster's own list.
Verified competing-offer negotiation
Zero data exposure — neither side ever sees the other's number, only the gap. POSTER
Git-provenance credential
Real engineering history, no résumé needed. POSTER
Human approval gate
On every outcome — approve, decline, or reopen for another round. POSTER
TEE attestation
Tamper-proof, verifiable result. POSTER
Sealed floors
Each side's walk-away number is sealed inside the enclave — only offers and moves cross. DECK
How it works
The poster's trust boundary, step by step: sealed input in, attested outcome out.
01 Sealed input
"Neither side ever sees the other's number — only the gap." A DCAP quote proves the exact published code ran, unmodified — checkable by anyone. DECK
Stack: Claude Sonnet · Intel TDX · Phala Cloud · FastAPI · React · Solidity / Sepolia. POSTER WEB
The numbers
The team's own figures, as printed on their poster and deck.
Who's building it
A solo founder at FeelTech Ltd, Rugby, UK. POSTER REGISTRY
Khrystian Koci
Quantum-and-TEE builder. Three merged fixes in Quantinuum's guppylang compiler; writes up the DealProof build in public — "Two AI Agents Walk Into a TEE" and "DCAP, a Frontend, and What a Production Data Marketplace Needs."
The registry's track record
Working Intel DCAP prototype; contributor to Quantinuum's guppylang; Bradford Quantum Hackathon 2025 winner. The guppylang contribution checks out (three commits authored by kkoci, via api.github.com); the hackathon is real, but no public winner list names him — kept ledger-tier.
Traction
"Real product, not a mockup" — the poster shows the approval screen from a live Offer Check session, exactly as it runs today. POSTER
Live and open
The demo runs at a public link right now; the repo is public, MIT-licensed Python, pushed 07-22, with a working quickstart. WEB Live · 07-22
Built on published research
NDAI Agreements (arXiv 2502.07924) and πCreds provenance credentials — the NDAI paper is live and Andrew Miller is a co-author. DECK WEB
Beta open
"Beta sign-up open. Know a company that should try this? Refer them." POSTER
"The most complete working implementation of that research." Andrew Miller · IC3 / Flashbots · co-author, NDAI — as quoted on the team's demo-day deck DECK Confirm quote
What's next
From the poster's roadmap, plus the registry's graduation target.
Comp-band data, sealed
Verified compensation-band data as another sealed input. POSTER
Provenance beyond GitHub
NDAs and reference letters as credentials; the deck adds new verticals on the same engine — procurement, deal rooms. POSTER DECK
DealProof v2
Ephemeral keys at TEE boot, reproducible builds with a published MRENCLAVE, co-signing sessions, an agent-agnostic SDK, and a first enterprise pilot conversation. REGISTRY
In their own words
How the team tells it — from the Mock Demo Day rehearsal, 2026-07-17, Khrystian Koci pitching.
"Sealed input. Attested output. Nothing else crosses the line." The tagline of the team's cohort poster POSTER
"The mechanics is: one agent has instruction to seal the deal for the candidate, the other one for the employer. One's going to try to go higher, the other one's going to try to go lower — that's how you reach fairness in the agreement."
"I've been conducting evals against a data set that has 2,500 salary conversations — and agents do improve results for 50% of the cases."
"There's going to be a human in the loop — it's not going to just send a contract, 'here's your contract'; somebody's going to sign this."
"This is going to be generalized for NDA letters, recommendation letters, or vetting — like they used to do in the UK, for example security clearance. It's for provenance."
Try it & links
"Scan to run a sealed negotiation right now." POSTER
| Surface | Where | Source |
|---|---|---|
| Live demo | frontend-five-eta-43.vercel.app — "Offer Check — Verify a Competing Offer" | WEB Live · 07-22 |
| GitHub | github.com/kkoci/Dealproof — public, MIT, Python; QUICKSTART.md runs it locally | WEB Live · 07-22 |
| Build log | medium.com/@feeltech_kkoci — the DealProof story, from DCAP to frontend | WEB Live · 07-22 |
| Demo video | youtu.be/Dc6iVYAl9OU — "IC3 - Encode Hackathon Submission Video"; an earlier-stage demo | REGISTRY WEB |
| X | x.com/kkoci80 — registry-listed; profile not fetchable from here (checked 07-22) | REGISTRY Unverified |
| Contact | kristian.koci@feeltech.co.uk | POSTER Confirm preferred |
Provenance ledger
Every load-bearing claim and where it comes from; decisions live in §12.
| Claim | Comes from | Tier | Status |
|---|---|---|---|
| One-liner, problem framing, features, trust-boundary pipeline | Cohort poster, July 2026; demo-day deck, 2026-07-22 | POSTER | Team's own artifacts |
| Founder and company (Khrystian Koci, FeelTech Ltd, Rugby UK) | Poster team block; deck title slide; cohort registry | POSTER REGISTRY | Corroborated |
| Benchmark figures (70%, 48.4% vs 6.4%, 256+ tests) | Poster and deck; the team's own runs. The corpus they cite — Yamaguchi et al., EACL 2021, a job-interview negotiation dataset — is real and live on the ACL Anthology | POSTER WEB | Pending approval |
| Andrew Miller quote ("most complete working implementation") | Deck slide 6, team-attributed. Miller is a genuine co-author of NDAI (arXiv 2502.07924, checked 07-22); the wording itself is unconfirmed with him | DECK WEB | Confirm quote |
| Research basis (NDAI Agreements, πCreds) | Deck and registry; NDAI paper live on arXiv | DECK REGISTRY WEB | Verified live |
| Live demo, repo, quickstart, build log | All fetched 2026-07-22: demo page titled "Offer Check"; kkoci/Dealproof public, MIT, pushed 07-22; QUICKSTART.md present; Medium posts match the product | WEB | Verified live |
| guppylang contribution; Bradford Quantum Hackathon 2025 win | Registry traction. guppylang: three commits authored by kkoci via api.github.com. The hackathon (Quantinuum co-organized) is real; no public winner list found naming him | REGISTRY WEB | Partly verified |
| Naming: DealProof vs Offer Check | Registry note ("pitching as OfferCheck… name may stay DealProof"); live app title; poster and deck both say DealProof | REGISTRY WEB | Confirm name |
| Pitch excerpts (§09) | Mock Demo Day rehearsal, 2026-07-17; lightly punctuated, two transcriber garbles decoded and noted in place | PITCH | Pending approval |
| X handle (kkoci80) | Cohort registry; live check blocked from this environment (07-22) | REGISTRY | Unverified |
Founder review
Five things before this page goes public.