The Katzenpost software project commits | Ecosyste.ms: OpenCollective

kem sphinx vp: check checkable primitives

github.com/katzenpost/formal_specifications - 4fdae20a4bec784ae42f034984e4143a37aff6ab authored over 1 year ago

add more nominal improvements to the kem sphinx spec

github.com/katzenpost/formal_specifications - dc94d6959581cd0a031706b5806248c87aba7e62 authored over 1 year ago

sphinx.vp rename mix priv keys

github.com/katzenpost/formal_specifications - 6b1b8310c2737fed215743ee98844296924c8cbf authored over 1 year ago

try to fix the kem sphinx spec

github.com/katzenpost/formal_specifications - fc31ea7312ffcbe180ade60c94f6c0c18c176e01 authored over 1 year ago

Add basic kem sphinx model, wip

github.com/katzenpost/formal_specifications - e3f9417280ef8374c7dff0b8ed28ae544e6bde54 authored over 1 year ago

sphinx.vp: attempt to fix verification by making the model smaller

github.com/katzenpost/formal_specifications - 88f46a9707c0da3b52dd83fc17e5be303e88c704 authored over 1 year ago

attempt to fix sphinx model

github.com/katzenpost/formal_specifications - 0547c835609ebf39c36962591b960e25e2d7f1f4 authored over 1 year ago

Add verifpal spec for Sphinx

github.com/katzenpost/formal_specifications - 67618cb646465866ccab1fbb58eba4cf7d0f3764 authored over 1 year ago

Fix TLA+ dirauth protocol model

github.com/katzenpost/formal_specifications - 7570886e69b43356ce3354999f0da6e0dce99889 authored over 1 year ago

sphinx: fix bitrot

github.com/katzenpost/katzenpost - dbadc0b34a7e082642e62bb14757656aa0bddbd4 authored over 1 year ago

Fix broken test

github.com/katzenpost/katzenpost - 59a317694e3e9a51becdb4f3844f7d93031f48e9 authored over 1 year ago

Merge branch 'verbose_sphinx_errors' into use_new_ctidh_types

github.com/katzenpost/katzenpost - 80f6173f233e9410007ed50c54bef6e57901c6bf authored over 1 year ago

go mod tidy

github.com/katzenpost/katzenpost - 58385fc91ec2b652484aa9c5d10421dd1aa969dc authored over 1 year ago

Merge branch 'main' into use_new_ctidh_types

github.com/katzenpost/katzenpost - 01f8dce835a4f5d2777e1befc23f2ea2743567dc authored over 1 year ago

dirauth high level protocol TLA+ model work in progress

github.com/katzenpost/formal_specifications - 7c7c0d7906fe5be759ba25e7c2a65cc2974cf781 authored over 1 year ago

Merge branch 'main' into replace_sha3_with_blake2b

github.com/katzenpost/katzenpost - 904a1e2618af78d3e6336f36fa5e57a24767a773 authored over 1 year ago

Merge branch 'main' into rm_nonvoting

github.com/katzenpost/katzenpost - f2b1e41570cdf37441a8848409e69d82fb70d795 authored over 1 year ago

Remove unused code

Some of it was incorrect anyway; thanks to Steven Yue for reporting.

github.com/katzenpost/sphincsplus - 286ff78a418b67095df2f463349e0da223ee939b authored over 1 year ago

Appease the compiler

github.com/katzenpost/sphincsplus - c379675505ac42d8c92e857badd651f25e5fef3f authored over 1 year ago

Add -v version info flag to main funcs (#295)

github.com/katzenpost/katzenpost - bdf90f52cc4ff44fe9d87c901290b85f9403be47 authored over 1 year ago

Add -v version info flag to main funcs

github.com/katzenpost/katzenpost - c65bdc250271f37a0bad9680f39aa452ccc6e830 authored over 1 year ago

break up client fsm into many actions

github.com/katzenpost/formal_specifications - 3c624fbca3d484a1f84e6d8b7c719619ff8e18d0 authored over 1 year ago

Merge branch 'client2'

github.com/katzenpost/formal_specifications - 732de50751fd56a4b8d885e5d2fe8c1998798e64 authored over 1 year ago

Add noise XX proverif specs

github.com/katzenpost/formal_specifications - ffd7c2f6c09c3e2ce56d0d032aa58b60c782af34 authored over 1 year ago

change attacker to passive

github.com/katzenpost/formal_specifications - 6ed33191b476a47f14f2440ccb21a6d1bca44629 authored over 1 year ago

Remove nobs csidh 512 from nike schmes list

github.com/katzenpost/katzenpost - 3ccab8cfcf4cf886d6ac14254f152d64011a8972 authored over 1 year ago

Fix hybrid kem test vectors

github.com/katzenpost/katzenpost - 01b0e1b69dec1fe63ab96b1e92e0edd76510048a authored over 1 year ago

Cleanup fillrandom test

github.com/katzenpost/ctidh_cgo - e789a8b77082300d1c9fc0d04a4d0cf900452eef authored over 1 year ago

Fix fill random bug and make test print C buffer

github.com/katzenpost/ctidh_cgo - 35252e2bff23dfe65eab481e371d2ca29e305c77 authored over 1 year ago

partially working

github.com/katzenpost/ctidh_cgo - 9c663e168fbb0244d92254fe6b49a06b390109fc authored over 1 year ago

lol TestFillRandom crashes

github.com/katzenpost/ctidh_cgo - c3a3f3d1608dd1ba9288f333e524d9918bcc893f authored over 1 year ago

Update kem sphinx spec to thank cryptographers

github.com/katzenpost/katzenpost - e46e29bb751a56a21f60761129e5d798196d90f8 authored over 1 year ago

Add seconds per operation

github.com/katzenpost/napkin-math - a8b9b744db43f25a434bbae38e5ae4e5eb72badb authored over 1 year ago

Correction to benchmark numbers

github.com/katzenpost/napkin-math - 3f8177c2d62d3c9fe7927984d1858ac06e5e9159 authored over 1 year ago

fix: don't set length of XOF output

github.com/katzenpost/katzenpost - 1d53e6c0ef56e7f6688039ed843b13de7810f159 authored over 1 year ago

fix more bitrot

github.com/katzenpost/katzenpost - ffe59406e49429d1a050f69d9bc442f232ab0bf2 authored over 1 year ago

Cleanup CTIDH and Sphinx related bitrot

github.com/katzenpost/katzenpost - d338bea302cc7280861ee85b9fe29a2facd82c76 authored over 1 year ago

wip

github.com/katzenpost/formal_specifications - 99799fa0d394d3cd7f4d2093a67eb8b0d0ca9b1d authored over 1 year ago

Fix removal of nonvoting dirauth

github.com/katzenpost/katzenpost - 1ea96ff0edcb723fdf57ae3756d6f09b32a84023 authored over 1 year ago

Merge branch 'main' into rm_nonvoting

github.com/katzenpost/katzenpost - e1bbbdfcb186fd2e602e602b632edafb05293c32 authored over 1 year ago

core: Replace sha3 with blake2b

github.com/katzenpost/katzenpost - df7fcc1a99a9c13caac767460b6963a06ca85c62 authored over 1 year ago

Update test vectors for our noise KEM

github.com/katzenpost/katzenpost - 1333b2e3691a25ded77bb88fa8a8efa5069f0733 authored over 1 year ago

fix comment claiming ParseConnectionID reuses the data slice (#3848)

github.com/katzenpost/quic-go - cb3453db2508eedf4ea3ce49f86bbe029de5c1c9 authored over 1 year ago

Merge branch 'main' into use_new_ctidh_types

github.com/katzenpost/katzenpost - 366a7b98c60f22b4a7857098262696c35553ad49 authored over 1 year ago

kem/adapter, replace sha3 with blake2b

github.com/katzenpost/katzenpost - 8d316bca0d7e806bb58d58d84e61560f6902e3c6 authored over 1 year ago

fix kem combiner, replace shake with blake2b

github.com/katzenpost/katzenpost - c5588befcd35df13e15e74c051a36b17c24a3bad authored over 1 year ago

KEM adapter test nitpick correction

github.com/katzenpost/katzenpost - 63a09e26ad8945c1a2e9893090785fb15941a985 authored over 1 year ago

WIP

github.com/katzenpost/formal_specifications - bdb6d15c9fe9b30f7f9ce8fdf8267e6152e03b3e authored over 1 year ago

Add super basic chat protocol

github.com/katzenpost/formal_specifications - eeb88be248dc52fc8d82e9b37261d5150450c349 authored over 1 year ago

readme cleanup

github.com/katzenpost/napkin-math - 3dc192ad0e717babae24fcd554d9779594bd346f authored over 1 year ago

Add poisson mix latency

github.com/katzenpost/napkin-math - 8f6bb066703425daa09de884622e42199d49de6d authored over 1 year ago

Update napkin math readme

github.com/katzenpost/napkin-math - c99844b609977c66de75a4d6c5c2e288b613c291 authored over 1 year ago

Smash stats into markdown table

github.com/katzenpost/napkin-math - 608c258b5e140a03912aaf062df67d1ad73670e2 authored over 1 year ago

docker: Less aggressive default decoy traffic (#281)

The current default docker decoy traffic setting is so aggressive that
my laptop freezes up for...

github.com/katzenpost/katzenpost - 820dbed17a7e8dfbd1d44511381287378f964907 authored over 1 year ago

Remove CSIDH scheme from scheme list

github.com/katzenpost/katzenpost - 6d3e3f37956d089ec4d7ca3e8a13d32588837920 authored over 1 year ago

add no_csidh.go

github.com/katzenpost/katzenpost - aa87b680640e219085b7e449837bdc0e96042cb9 authored over 1 year ago

transport: send stateless reset packets from a single Go routine (#3842)

* don't spawn new go routine for every stateless packet

* pass *receivedPacket around

github.com/katzenpost/quic-go - f401a73d271b76a353313de227fb19ff53a8bedd authored over 1 year ago

Add initial readme

github.com/katzenpost/.github - deaaeb97cec1f9c28586150d87147c179ba0f4f8 authored over 1 year ago

exclude ppc64le from building csidh

github.com/katzenpost/katzenpost - 7fc2f79b3967f7cd958e202b250542ebeb989fe2 authored over 1 year ago

Initial commit

github.com/katzenpost/.github - 7e33fa74f3d477d8cfdf178cbda685d9898ee47d authored over 1 year ago

Remove old build tags because we use golang newer that go1.17

github.com/katzenpost/katzenpost - b53ae5712a8dd4410fadca5f616159925c6f40b3 authored over 1 year ago

exclude all bigendian archs from csidh

github.com/katzenpost/katzenpost - bc67ff2a69f688d1f05839cee06b6597347e57b9 authored over 1 year ago

Fix build tags to exclude ppc64 from using csidh

github.com/katzenpost/katzenpost - 8666206d0506c8df3ee42eebf2053fe13d3c73bc authored over 1 year ago

Use of build tags to prevent building csidh on non-amd64

github.com/katzenpost/katzenpost - 014dee7cf7d45f0348b70d48b429ac2a7e78ffa3 authored over 1 year ago

Log sphinx geometry on startup and error

github.com/katzenpost/katzenpost - 299ca71280aa3268f5fcabaa24668c6cfda7832f authored over 1 year ago

optimize memory layout of ackhandler.Packet (#3844)

Before: 88 bytes. After: 80 bytes.

github.com/katzenpost/quic-go - cf267ff7d725bcc3b1bded47bfd5ea2de511ed60 authored over 1 year ago

wip

github.com/katzenpost/formal_specifications - f2f4920a71517eab9daad627f8123c3097b3a944 authored over 1 year ago

WIP

github.com/katzenpost/formal_specifications - 64ce38974e2e5e2cb8ef0bc5663d15e5044a75e2 authored over 1 year ago

docker: Less aggressive default decoy traffic

github.com/katzenpost/katzenpost - cf870c4cc0a3b7b858c3c5a453db12ca9d820e5c authored over 1 year ago

put benchmark outputs into code blocks

github.com/katzenpost/napkin-math - 5cc7212ee2e9e31c764d15bbad47a0e95b0fd6cf authored over 1 year ago

Add some benchmark stats for noise and sphinx

github.com/katzenpost/napkin-math - 0c92266cf6532fecfd894da47822c8282223300c authored over 1 year ago

go mod tidy

github.com/katzenpost/katzenpost - 9dc922b9d9e50e1ab3eca5f543995b8695e9ce88 authored over 1 year ago

Add noise benchmarks and remove dep on old noise

github.com/katzenpost/katzenpost - 58d9bf60a8ad911364ac7757942a2b4f66e566c9 authored over 1 year ago

Add X25519 NIKE Sphinx benchmark test

github.com/katzenpost/katzenpost - 1bef44123b6c7198723ae5ada45c8b78e8f8f8e6 authored over 1 year ago

Merge branch 'main' into use_new_ctidh_types

github.com/katzenpost/katzenpost - c3e2f59dbbe48e2b12265a2e0480aaf7723c105a authored over 1 year ago

Initial commit

github.com/katzenpost/formal_specifications - 2bbab65230f7e6954da7c4467bd9aefd089753cf authored over 1 year ago

ci: fix Codecov coverage report (#3837)

github.com/katzenpost/quic-go - 2ff71510a9c447aad7f5a574fe0f6cf715e749f1 authored over 1 year ago

implement http3.RoundTripper.CloseIdleConnections (#3820)

* implement CloseIdleConnections

* nit

Co-authored-by: Marten Seemann <martenseemann@gmail...

github.com/katzenpost/quic-go - cec79d338c645522923c92ffc88fee580c711315 authored over 1 year ago

Fix pki client log line (#272)

github.com/katzenpost/katzenpost - 50216391051bb61c542e56108d18445447c95aac authored over 1 year ago

Fix pki client log line

github.com/katzenpost/katzenpost - 3d610cf988754373d46023cd798f40c70e953346 authored over 1 year ago

Upgrade to katzenpost v0.0.23 (#32)

github.com/katzenpost/katzen - c0d245bd7e6c8685afc0c8dbebaf5615313fa1ac authored over 1 year ago

use katzenpost v0.0.23

github.com/katzenpost/katzen - 598930ac0186f7de2a08a06a2178ac9e34bd1543 authored over 1 year ago

comment out ctidh schemes

github.com/katzenpost/katzenpost - 23074b0406dbf672b1cd658fd8465cbda390a382 authored over 1 year ago

remove not_ctidh.go

github.com/katzenpost/katzenpost - c7c4c4a63f74cca2b417dfa59950659fe24c5a1c authored over 1 year ago

Fix hybrid kem test and add vector test

github.com/katzenpost/katzenpost - e5881e3a515376493078f86ac17c96ce130fcae9 authored over 1 year ago

fix SeedSize method

github.com/katzenpost/katzenpost - 67161730a33dcfe6a8d4b216506a2f0a629af39b authored over 1 year ago

fix kem hybrid's EncapsulationSeedSize

github.com/katzenpost/katzenpost - 5b13b6459096d49ed974d06d5acb9e2e06863a92 authored over 1 year ago

cleanup kem adapter test

github.com/katzenpost/katzenpost - e24611e20fe05b140573d56e81c184ad4f7125bb authored over 1 year ago

set seed size to 32

github.com/katzenpost/katzenpost - 1a56b1b01adeb8eee6be5bf49756bc7d401a5288 authored over 1 year ago

Add notes about spec in implementation

github.com/katzenpost/katzenpost - 6f09ec1f7656ac46d799fe9684d09aec0ff1f3c3 authored over 1 year ago

fix typo in kemsphinx spec

github.com/katzenpost/katzenpost - 9b70c7007e9b4c1858c195eae492da07386269b5 authored over 1 year ago

kemsphinx doc: replace ciphertext with their_pub_key

github.com/katzenpost/katzenpost - f613061aa60a563c0764ceb365cfa9d50c779f22 authored over 1 year ago

Fix kemsphinx.rst casing and snake case

github.com/katzenpost/katzenpost - a2bed8a55f6c4e75a2a93b8e69b5ec40aa050132 authored over 1 year ago

fix HTTP/3 connection test on draft-29 (#3819)

github.com/katzenpost/quic-go - e9fea086134e61073d443ea1ac0ec256b88e4864 authored over 1 year ago

fix flaky timeout integration test (#3818)

github.com/katzenpost/quic-go - b425465bf9e2ee315669c6e5bca5a7489a109fc2 authored over 1 year ago

change how the multiplex test is skipped on Linux (#3817)

github.com/katzenpost/quic-go - 22ca1fb8a5f525fbb9c5ee009988650686765094 authored over 1 year ago

go mod tidy

github.com/katzenpost/katzenpost - 2eeb8b3fdf0180649463b18ebb5d0d2af608b403 authored over 1 year ago

Merge branch 'main' into use_new_ctidh_types

github.com/katzenpost/katzenpost - 63fd2458bec59bf2769f1dd1c9645dae36c53eda authored over 1 year ago

Bump github.com/cloudflare/circl from 1.3.1 to 1.3.3 (#267)

github.com/katzenpost/katzenpost - 0c91ebd421011ff9774dcf37082bcd6ce78b595a authored over 1 year ago

Bump github.com/cloudflare/circl from 1.3.1 to 1.3.3

Bumps [github.com/cloudflare/circl](https://github.com/cloudflare/circl) from 1.3.1 to 1.3.3.
- ...

github.com/katzenpost/katzenpost - 1ecb12db7c5f2b2652526573bd02b996b2c651bf authored over 1 year ago