Evgeny Poberezkin
f49607e522
rfc: SMP/XFTP proxies ( #844 )
...
* rfc: SMP/XFTP proxies
* update
* update
* update
* add threat model
* correction to encryption layer
* corrections
2023-11-26 11:57:56 +00:00
Evgeny Poberezkin
757b7eec81
5.4.0.6
2023-11-21 20:50:10 +00:00
Evgeny Poberezkin
88a4cf7d90
Merge pull request #898 from simplex-chat/ab/fix-agent-leak
...
agent: fix leak in AgentOpState counters
2023-11-21 20:43:32 +00:00
IC Rainbow
8ac97ed700
add retry around removing tmp dir
2023-11-21 21:30:53 +02:00
IC Rainbow
79d9f41fd8
add delay to testDuplicateMessage
2023-11-21 20:10:14 +02:00
IC Rainbow
2fe408666e
fix testAsyncCommandsRestore test
2023-11-21 19:54:10 +02:00
IC Rainbow
317c68a860
agent: fix leak in AgentOpState counters
2023-11-21 14:53:53 +02:00
Evgeny Poberezkin
c7a7323f54
list imports
2023-11-20 12:15:09 +00:00
spaced4ndy
044eca5ac4
5.4.0.5
2023-11-20 15:55:09 +04:00
Evgeny Poberezkin
0841067132
Merge pull request #880 from simplex-chat/xrcp
...
xrcp: SimpleX Remote Control protocol
2023-11-18 15:32:58 +00:00
Alexander Bondarenko
40ba94ce72
remote: add multicast discovery w/ encrypted announce ( #895 )
...
* Implement multicast discovery
* replace rcConnectMulticast with explicit discoverRCCtrl
* add multicast source/invitation host check
* remove JSON encoding for multicast invitations
* add specific error for announcing "new" controllers
* rename
* set size, rename
---------
Co-authored-by: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com >
2023-11-17 17:56:14 +00:00
Alexander Bondarenko
c501f4f9cc
remote: fix deadlocked client when server rejects its cert ( #897 )
...
* remote: detect tls errors sooner to prevent deadlocks
* remove redundant error checking
* cleanup
2023-11-17 10:37:32 +00:00
Evgeny Poberezkin
3b348a463c
Merge branch 'master' into xrcp
2023-11-14 14:36:21 +00:00
spaced4ndy
7aae6f3cbe
agent: fix case of ratchet synchronization getting stuck in endless loop ( #892 )
2023-11-14 17:55:20 +04:00
Evgeny Poberezkin
d60911c780
xftp: refactor receiving encrypted file ( #896 )
2023-11-14 13:51:23 +00:00
Evgeny Poberezkin
e0b7942e45
remote: return tls with remote host before host confirmation ( #894 )
2023-11-13 19:25:53 +00:00
Alexander Bondarenko
4f5d52ada4
Do not allow rejected client certificate ( #893 )
2023-11-13 17:57:26 +00:00
Evgeny Poberezkin
c051ebab74
Merge branch 'master' into xrcp
2023-11-11 09:37:15 +00:00
Evgeny Poberezkin
9460551a04
5.4.0.4: xftp 1.1.2, ntf 1.6.3
2023-11-11 09:16:40 +00:00
Evgeny Poberezkin
6a2e6b040e
additional lazy crypto for XRCP ( #890 )
2023-11-10 11:16:43 +00:00
Evgeny Poberezkin
bd06b47a9d
return TLS session on remote connection step ( #891 )
2023-11-09 22:27:30 +00:00
Evgeny Poberezkin
102487bc4f
xrcp: error handling ( #889 )
...
* xrcp: error handling
* rename
* dont lock on STM
* move catch
* controller error handling
* fail sooner on incorrect CA in host HELLO
* remove TODO lock session
* refactor
2023-11-08 16:34:56 +00:00
Evgeny Poberezkin
248144f3de
do not use previous KEM shared secret in multicast packets and in host HELLO ( #888 )
...
* do not use previous KEM shared secret in multicast packets and in host HELLO
* simplify
2023-11-08 12:06:10 +00:00
Alexander Bondarenko
ecb23c66e0
Extract public RC types ( #887 )
2023-11-07 20:30:28 +00:00
Alexander Bondarenko
c0566d37a0
add To/FromField instance to KEMShardKey ( #886 )
2023-11-07 17:09:38 +00:00
Alexander Bondarenko
1a8dfb4cbe
agent: xrcp implementation for connection via link (no multicast) ( #884 )
...
* WIP: start working on connection invites
startSession/OOB is broken now - the port isn't coming from the actualy assigned one.
* Add invite types
* clean old invite-related types
* apply renames
* Move SessionKeys from Invitation
* Stub host-side keys and handle
* move keys and handles to Types
* add Simplex.RemoteControl.Client
* more keys
* progress
* crypto for sessions
* progress to multicast
* multicast crypto
* add RC TLS server
* agent api for remote control
* WIP: tls client
* fix test
* update encoding to include nonce
* add TODO
* update
* Use network-info to find TransportHost
* request and submit tls client certificate
* WIP: add missing bits for testing RC client
* RCEncryptedHello encoding
* add block encoding
* refactor
* validate known host certificate
* remove some spaghetti
* functional API to host/ctrl clients
* refactor connectRCCtrl_
* refactor connectRCHost
* question
* add type
* fix RC session
* update doc
* update doc 2
* add block on confirmation
* remove unused parameter
* export CtrlSessKeys
* export
* fix parsing
* move test of xrcp handshake
* move KEM to HELLO step
* fix JSON
* type
---------
Co-authored-by: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com >
2023-11-07 13:05:18 +00:00
Evgeny Poberezkin
1a0c4b73de
Merge branch 'master' into xrcp
2023-11-04 18:26:01 +00:00
Evgeny Poberezkin
e9b5a849ab
update http2 to 4.2.2 ( #879 )
2023-11-01 10:57:19 +00:00
Evgeny Poberezkin
a5fed340e2
hybrid shared secret X25519 + sntrup761 ( #881 )
...
* hybrid shared secret X25519 + sntrup761
* use IORef
* enable all tests
* update
* update
* use newtype
* move withDRG
2023-11-01 10:33:15 +00:00
Evgeny Poberezkin
ce796ec225
Merge branch 'master' into xrcp
2023-11-01 09:24:06 +00:00
Evgeny Poberezkin
4660ee9cff
agent: revert to TVar ( #883 )
2023-11-01 09:15:51 +00:00
Evgeny Poberezkin
70bf665938
Merge branch 'master' into xrcp
2023-10-31 23:52:45 +00:00
Evgeny Poberezkin
b5f733d2db
agent: use IORef for DRG ( #882 )
2023-10-31 23:52:13 +00:00
Evgeny Poberezkin
c22c15a2e8
sntrup761 ( #865 )
...
* add sntrup761 source
* it compiles
* Wrap bindings in non-FFI types
Test passes with a dummy RNG.
* pass ChaChaDRG via FunPtr
* Add iOS smoke test at createAgentStore
* style
* add "ssl" library dep
Attempt to fix missing _SHA512 symbol on macos.
* remove sha512 wrapper and use openssl directly
* restore names, remove dummy RNG
* Revert "remove sha512 wrapper and use openssl directly"
This reverts commit f9f7781f09aenor.realm@gmail.com >
2023-10-31 22:44:46 +00:00
Evgeny Poberezkin
db1b2f77cd
rfc: SimpleX Remote Control protocol v2 ( #874 )
...
* rfc: SimpleX Remote Control protocol
* tweak rfc sections
* rfc: SimpleX Remote Control protocol v2
* add session verification
* add alternative design
* add KEM to rfc
* key agreement
* add pad
* pad
* padding
* remove marker from multicast packet
* update
---------
Co-authored-by: Alexander Bondarenko <486682+dpwiz@users.noreply.github.com >
2023-10-31 19:39:42 +00:00
Alexander Bondarenko
8e2ffcb297
extract xrcp protocol ( #878 )
...
* xrcp: files and folders
* extract remote up to rev-http
* Remove unused files
---------
Co-authored-by: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com >
2023-10-31 19:31:53 +00:00
Alexander Bondarenko
0410948b56
add runTransportWith ( #875 )
...
* Cut transport server to allow custom tcp servers
Allows socket inspection before wrapping up in a transport/prototocol.
* rename
---------
Co-authored-by: Evgeny Poberezkin <2769109+epoberezkin@users.noreply.github.com >
2023-10-27 14:40:53 +01:00
Evgeny Poberezkin
511d793b92
derive JSON instances with TH ( #869 )
...
* derive JSON instances with TH
* defaultJSON
* remove ToJSON
2023-10-26 09:20:30 +01:00
Evgeny Poberezkin
5f750a6783
docs: amend SMP protocol transmission encoding ( #843 )
...
* docs: amend SMP protocol transmission encoding
* base64 encoding
* remove "optional"
2023-10-25 17:52:02 +01:00
spaced4ndy
d920a2504b
agent: check confirmed snd queue doesn't exist before replacing ( #871 )
2023-10-25 09:48:54 +04:00
spaced4ndy
55a6157880
agent: change invLocks key type to ByteString
2023-10-24 17:20:39 +04:00
spaced4ndy
73d7f84ee3
agent: take invitation lock on join ( #870 )
2023-10-24 16:55:57 +04:00
Evgeny Poberezkin
cf8b9c12ff
remove test dependencies ( #861 )
...
* remove test dependencies
* .hlint.yaml
2023-10-22 10:50:36 +01:00
sh
9994375c16
docker: workaround for xftp quota format ( #862 )
2023-10-22 09:26:36 +01:00
Evgeny Poberezkin
9d12d76078
add fourmolu ( #868 )
...
* add fourmolu
* linebreak
* simplify
* comment
2023-10-22 09:20:14 +01:00
spaced4ndy
deb3fc7359
agent: order by internal id when retrieving pending messages ( #867 )
2023-10-19 20:17:12 +04:00
spaced4ndy
80905c0822
test concurrent send and receipts ( #866 )
2023-10-19 20:08:58 +04:00
Evgeny Poberezkin
decf25d7dc
refactor http2 file ( #864 )
...
* refactor http2 file
* move fileBlockSize to HTTP2.File
2023-10-19 10:25:21 +01:00
Evgeny Poberezkin
5e047f3199
update http2 to 4.1.4
2023-10-18 13:26:38 +01:00
spaced4ndy
1ad69cf74f
agent: always parse connection request uri as simplex:/ ( #863 )
2023-10-16 18:25:56 +04:00
