Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 8, 2025

• Add more instructions for TCP; add projection demo

  ashton314

  committed
  bb615c0

  Copy full SHA for bb615c0

• Fixing TCP demo

  ashton314

  committed
  4d05bf0

  Copy full SHA for 4d05bf0

• Make TCP demo work

  ashton314

  committed
  54ec6ed

  Copy full SHA for 54ec6ed

• Add push-button ZKP Log demo

  ashton314

  committed
  dc87c94

  Copy full SHA for dc87c94

Commits on Aug 7, 2025

• Made a non-interactive version of the SRP login

  ashton314

  committed
  eeda5b1

  Copy full SHA for eeda5b1

Commits on Aug 6, 2025

• Add env var to control which app starts; add mix tasks for demos

  ashton314

  committed
  cf9390f

  Copy full SHA for cf9390f

Commits on Feb 19, 2025

• Update choreographies to work with latest version of Chorex

  ashton314

  committed
  7de5ba1

  Copy full SHA for 7de5ba1

Commits on Dec 20, 2024

• readme: try to fix section links

  bennn

  authored
  a2bd626

  Copy full SHA for a2bd626

Commits on Aug 14, 2024

• Update README about SRP example

  ashton314

  committed
  2be6bc6

  Copy full SHA for 2be6bc6

• Cleanup SRP example; fix intermittent failures

  ashton314

  committed
  7c2a8e9

  Copy full SHA for 7c2a8e9

Commits on Aug 13, 2024

• Further cleanup using new multi-argument `with` blocks

  ashton314

  committed
  1f56006

  Copy full SHA for 1f56006

• Cleanup SRP example

  ashton314

  committed
  14bcff8

  Copy full SHA for 14bcff8

• Full SRP example working!!

  ashton314

  committed
  780d295

  Copy full SHA for 780d295

• Digest computation matches

  ashton314

  committed
  2239f14

  Copy full SHA for 2239f14

• Client and server computing same secret; fixing handshake

  ashton314

  committed
  409f5a6

  Copy full SHA for 409f5a6

Commits on Aug 12, 2024

• Register flow for SRP; type errors and typos fixed

  Show description for 1a55593
  ashton314

  committed
  1a55593

  Copy full SHA for 1a55593

• Handle remaining implementation bits of SRP

  Show description for 9099ca2
  ashton314

  committed
  9099ca2

  Copy full SHA for 9099ca2

Commits on Aug 8, 2024

• Clean up zkp discrete-log, work on srp choreography

  Show description for f9224aa
  ashton314

  committed
  f9224aa

  Copy full SHA for f9224aa

• Cleanup discrete-log zkp; add README detailing examples

  ashton314

  committed
  356e432

  Copy full SHA for 356e432

• Rough draft of discrete-log-based ZKP working

  ashton314

  committed
  1a78125

  Copy full SHA for 1a78125

Commits on Aug 5, 2024

• Draft zero-knowledge proof with a choreography

  ashton314

  committed
  abbbbea

  Copy full SHA for abbbbea

Commits on Aug 1, 2024

• Update to use new Chorex w/better functions

  ashton314

  committed
  9892262

  Copy full SHA for 9892262

Commits on Jul 25, 2024

• Start up server with iex -S mix; cleanly exit on socket closed

  ashton314

  committed
  9a706ee

  Copy full SHA for 9a706ee

Commits on Jul 23, 2024

• Better TCP server

  ashton314

  committed
  e7145b9

  Copy full SHA for e7145b9

• Rudimentary socket connections are working

  Show description for 49966d4
  ashton314

  committed
  49966d4

  Copy full SHA for 49966d4

Commits on Jul 16, 2024

• More scaffolding—found some pain points to address

  ashton314

  committed
  afe5b9f

  Copy full SHA for afe5b9f

Commits on Jul 15, 2024

• Scaffold out TCP choreography

  ashton314

  committed
  8008360

  Copy full SHA for 8008360

Commits on Jul 3, 2024

• Initial commit; HTTP server scaffolded out

  ashton314

  committed
  c90373a

  Copy full SHA for c90373a