feitian/OpenSK
0
0
Fork 0
mirror of https://github.com/FeitianTech/OpenSK.git synced 2026-08-28 10:41:01 -07:00
Code Issues Packages Projects Releases Wiki Activity
708 Commits 4 Branches 2 Tags
16c0196b1d3a97abd00e6b52615a78b7ac0ad11c
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Julien Cretin 16c0196b1d Check global counter length 2020-12-04 14:42:16 +01:00
Julien Cretin 042108e3d9 Reserve 700 additional keys for credential-related stuff 2020-12-01 17:46:28 +01:00
Julien Cretin b55d432043 Apply review comments 2020-12-01 15:39:51 +01:00
Julien Cretin 1db73c699b Apply review comments 2020-12-01 11:29:52 +01:00
Julien Cretin 069a1b8f19 Merge branch 'master' into v2_lib 2020-11-30 15:55:14 +01:00
Julien Cretin 9d80b87b43 Merge pull request #226 from ia0/v2_fuzz 
Add debug helper for fuzzing
 2020-11-30 15:53:17 +01:00
Julien Cretin a0e3048f82 Add debug helper for fuzzing 2020-11-30 11:30:49 +01:00
Julien Cretin 5f80a4b3a3 Merge pull request #225 from ia0/v2_fuzz 
Do not crash with dirty init
 2020-11-30 11:23:41 +01:00
Julien Cretin 7997041be0 Merge branch 'master' into v2_lib 2020-11-30 10:34:54 +01:00
Julien Cretin f548a35f01 Do not crash with dirty init 2020-11-30 10:29:18 +01:00
Julien Cretin 44b35169af Merge pull request #210 from ia0/v2_fuzz 
Add store fuzzing
 2020-11-30 10:11:52 +01:00
Julien Cretin a0801c3023 Merge branch 'master' into v2_lib 2020-11-28 19:27:21 +01:00
Julien Cretin ed5a9e5b24 Apply review comments 2020-11-28 19:01:16 +01:00
Julien Cretin 9f04408433 Merge branch 'master' into v2_fuzz 2020-11-28 18:45:41 +01:00
Julien Cretin b0dc019b4e Merge pull request #220 from ia0/fix_driver_crash 
Do not crash in the driver for store errors
 2020-11-24 16:55:42 +01:00
Julien Cretin 2add1c2cd2 Merge branch 'master' into fix_driver_crash 2020-11-24 16:46:21 +01:00
Julien Cretin 29ee45de6c Do not crash in the driver for store errors 
We prefer to return those errors to the fuzzer which can then decide whether
they are expected or not (e.g. when starting from a dirty storage, the store is
expected to have errors).
 2020-11-24 11:31:54 +01:00
Julien Cretin e842da0de7 Add store fuzzing 2020-11-19 11:27:50 +01:00
Julien Cretin 78e801c32a Merge pull request #209 from ia0/v2_fuzz 
Add stats for fuzzing
 2020-11-19 11:22:32 +01:00
Julien Cretin bbb73c77a8 Use width_lim instead of bucket_lim 2020-11-17 10:16:39 +01:00
Julien Cretin fcc9484510 Add stats for fuzzing 2020-11-16 22:44:10 +01:00
Julien Cretin cd898fbbf7 Merge pull request #206 from ia0/v2_fuzz 
Add histogram for fuzzing
 2020-11-16 22:30:37 +01:00
Julien Cretin fbb1be84a4 Merge branch 'master' into v2_fuzz 2020-11-16 22:15:57 +01:00
Julien Cretin de77d4fc0c Add histogram for fuzzing 2020-11-13 10:34:23 +01:00
Julien Cretin 73162ea82c Merge pull request #203 from ia0/v2_fuzz 
Create fuzzing and add entropy helpers
 2020-11-13 10:29:45 +01:00
Julien Cretin 1c2e450660 Improve documentation 2020-11-12 16:24:35 +01:00
Julien Cretin db5b21a4ff Add more documentation 2020-11-12 10:54:23 +01:00
Julien Cretin c6f9270be1 Update documentation 2020-11-11 17:52:33 +01:00
Julien Cretin 5673b9148f Use new persistent store library (and delete old) 2020-11-11 17:31:31 +01:00
Julien Cretin d3ee698d69 Build store fuzzing in run_desktop_tests too 2020-11-11 12:56:36 +01:00
Julien Cretin 163e92fa6b Create fuzzing and add entropy helpers 2020-11-11 12:30:24 +01:00
Julien Cretin 8d33c7866d Merge pull request #197 from ia0/v2_lib 
Add driver for new store
 2020-11-11 12:09:06 +01:00
Julien Cretin d5a43c346f Rename into_ into extract_ 2020-11-11 10:28:32 +01:00
Julien Cretin 833f195d88 Merge branch 'master' into v2_lib 2020-11-10 19:44:45 +01:00
Julien Cretin 0e4be8ca4a Update documentation 2020-11-10 19:44:28 +01:00
Julien Cretin 45332158df Add driver for new store 2020-11-03 21:27:32 +01:00
Julien Cretin aa4bc7faaa Merge pull request #193 from ia0/v2_lib 
Add new store (without tests yet)
 2020-11-03 21:25:17 +01:00
Julien Cretin a024e642d3 Return zero instead of negative immediate capacity 2020-11-03 13:30:39 +01:00
Julien Cretin 410314b780 Move transaction validity check to Format 2020-11-03 12:54:30 +01:00
Julien Cretin d734da3a0e Move transaction capacity formula to Format 2020-11-03 12:39:38 +01:00
Julien Cretin b97758dd99 Do not use import ::* 2020-11-03 11:58:20 +01:00
Julien Cretin 233c15b20c Add new store (without tests yet) 2020-11-02 11:17:09 +01:00
Julien Cretin c9fc621f59 Merge pull request #192 from ia0/v2_lib 
Clarify different integer types
 2020-11-02 11:16:06 +01:00
Julien Cretin 4b48c668be Merge branch 'master' into v2_lib 2020-11-02 10:14:41 +01:00
Julien Cretin 9778ea7fd2 Introduce distinct integer types 
This PR does the following things:
- Give incompatible representations for integers with different semantics:
  - `usize` is used for natural numbers for the public API.
  - `Nat` is used internally for natural numbers (essentially a stable `usize`).
  - `Word` is used for sequences of bits representing words in flash.
  - `Position` is used for word positions in the virtual storage.
- Only use fixed size integers to preserve overflow behavior between targets.
- Use little-endian representation instead of native representation for `Word`.

Alternatives:
- Run tests and fuzzing on 32-bits architecture (or some compatibility mode).
  This approach would have better readability than the current solution (less
  conversions at public API). However it would require additional setup and
  might not be viable long-term by restricting machines on which fuzzing is
  possible.
- Accept the behavior difference for tests and fuzzing. This approach would also
  have better readability. However checking for arithmetic overflow (and other
  `usize` related concerns like memory size) is more important.
 2020-10-29 18:48:15 +01:00
Julien Cretin dea28f622f Merge pull request #190 from ia0/v2_lib 
Add model for new store
 2020-10-29 13:29:49 +01:00
Julien Cretin 5ce91947b6 Fix StoreRatio fields visibility and improve documentation 2020-10-29 12:23:34 +01:00
Julien Cretin 8e22fbd9a6 Merge branch 'master' into v2_lib 2020-10-29 08:21:13 +01:00
Julien Cretin e7303ed7c6 Add model for new store 2020-10-27 14:23:39 +01:00
Julien Cretin 55ceec2a21 Merge pull request #172 from ia0/v2_lib 
Add format helpers for new store
 2020-10-27 14:13:33 +01:00
Julien Cretin 71815cad09 Update ERASED_WORD definition to use WORD 2020-10-27 13:45:18 +01:00
Julien Cretin edd1bcf5d2 Do not inline constants in documentation 2020-10-27 11:25:08 +01:00
Julien Cretin ab8b90b596 Merge branch 'master' into v2_lib 2020-10-27 11:09:52 +01:00
Julien Cretin 1f0f2d16e3 Merge pull request #189 from ia0/travis 
Remove unused .travis.yml
 2020-10-27 11:09:23 +01:00
Julien Cretin 1ef1a8d95b Remove unused .travis.yml 2020-10-27 10:36:16 +01:00
Julien Cretin 552bab6ba9 Remove public visibility for internal function 2020-10-26 17:51:40 +01:00
Julien Cretin cb3369213f Fix merge missing conflict 2020-10-23 17:27:20 +02:00
Julien Cretin 3755be1625 Merge branch 'master' into v2_lib 2020-10-23 17:20:19 +02:00
Julien Cretin 6bb11f09f0 Merge pull request #187 from ia0/v2_buffer 
Add buffer storage for new store
 2020-10-23 17:18:32 +02:00
Julien Cretin 99e2d07156 Fix documentation 2020-10-23 16:38:48 +02:00
Julien Cretin f52ea953b8 Improve documentation 2020-10-23 15:38:21 +02:00
Julien Cretin 34ad35fdc1 Fix documentation 2020-10-23 11:52:21 +02:00
Julien Cretin f5e6f8728f Do not use nightly features 2020-10-23 08:41:44 +02:00
Julien Cretin d8f405baab Add missing alloc crate 2020-10-23 08:37:09 +02:00
Julien Cretin 10ac76e58a Add buffer storage for new store 2020-10-23 08:22:30 +02:00
Julien Cretin b7fff97a8e Merge branch 'master' into v2_lib 2020-10-23 08:06:47 +02:00
Julien Cretin 43924ff8f4 Merge branch 'master' into v2_lib 2020-10-15 16:30:38 +02:00
Julien Cretin f8fe1a9493 Add small proofs 2020-10-14 17:36:52 +02:00
Julien Cretin c098f2695b Clarify current supported values 2020-10-14 12:20:48 +02:00
Julien Cretin 223908febd Remove confusing clarification 2020-10-14 11:41:46 +02:00
Julien Cretin 8191378b40 Merge branch 'master' into v2_lib 2020-10-14 11:16:00 +02:00
Julien Cretin 0aece24e0a Merge pull request #181 from ia0/disable_reproducible_workflow 
Disable reproducible workflow
 2020-10-13 15:49:39 +02:00
Julien Cretin 4c76d5618e Show the diff but do not fail 2020-10-13 14:59:31 +02:00
Julien Cretin f512645837 Improve documentation 2020-10-13 12:46:25 +02:00
Julien Cretin eede767fe3 Improve documentation 2020-10-12 18:07:29 +02:00
Julien Cretin 0242873a23 Improve comments 2020-10-12 16:25:25 +02:00
Julien Cretin d721949806 Improve documentation 2020-10-12 14:40:30 +02:00
Julien Cretin d1ab6090f1 Disable reproducible workflow 2020-10-09 12:16:02 +02:00
Julien Cretin 7b21eba5df Expand documentation 2020-10-09 11:55:51 +02:00
Julien Cretin c09a5ed719 Address comments 2020-10-07 15:17:37 +02:00
Julien Cretin aa2c26a65d Merge branch 'master' into v2_lib 2020-10-07 11:12:47 +02:00
Julien Cretin 745862c3d3 Merge branch 'master' into v2_lib 2020-10-02 15:32:57 +02:00
Julien Cretin f9f428dcbf Fix documentation 2020-09-30 18:37:33 +02:00
Julien Cretin d0ad46b868 Add format helpers for new store 2020-09-30 18:30:39 +02:00
Julien Cretin ea7ee9f1f9 Merge pull request #166 from ia0/v2_lib 
Add bitfield helpers for new store
 2020-09-30 08:56:16 +02:00
Julien Cretin 91805db1f0 Rename Const to ConstField 2020-09-29 22:18:30 +02:00
Julien Cretin abe1230364 Clarify documentation 2020-09-29 19:29:06 +02:00
Julien Cretin fa66a613f3 Merge branch 'master' into v2_lib 2020-09-29 14:28:37 +02:00
Julien Cretin 67714510f5 Add bitfield helpers for new store 2020-09-28 17:30:44 +02:00
Julien Cretin 616476ac43 Merge pull request #163 from ia0/v2_lib 
Create new store and add storage API
 2020-09-28 16:03:30 +02:00
Julien Cretin 6d9c1ce1a4 Update reproducible hashes 2020-09-28 13:22:06 +02:00
Julien Cretin ba151d9289 Update copyright dates 2020-09-28 13:14:33 +02:00
Julien Cretin 7f826dde53 Add dot at end of short comments 2020-09-28 12:44:56 +02:00
Julien Cretin 72b460f9f8 Merge branch 'master' into v2_lib 2020-09-25 16:32:56 +02:00
Julien Cretin a203ff13df Create new store and add storage API 2020-09-24 14:24:18 +02:00
Julien Cretin 50353821a9 Update reproducible hashes 2020-09-23 15:00:32 +02:00
Julien Cretin 6a6891949b Expose MasterKeys fields again 2020-09-23 13:27:20 +02:00
Julien Cretin 426722bb6b Return arrays for fixed-size objects 2020-09-23 11:10:04 +02:00
Julien Cretin cae38c39c5 Merge branch 'master' into v2_error 2020-09-23 10:12:22 +02:00
Julien Cretin 7c6a1e27b4 Return errors and Vecs from CTAP storage 2020-09-22 16:23:51 +02:00