Commit Graph

209 Commits

Author SHA1 Message Date
Geoffroy Couprie
a73976a527 start specifications 2019-03-19 10:42:39 +01:00
Geoffroy Couprie
df6e69c7ba fix links 2019-03-19 10:41:32 +01:00
Geoffroy Couprie
20955862c4 specifications placeholder 2019-03-19 10:38:21 +01:00
Geoffroy Couprie
0564618c9e rename code folder to experimentations 2019-03-19 10:27:43 +01:00
Geoffroy Couprie
a3a57cf4a5 more info in the readme 2019-03-18 17:36:24 +01:00
Geoffroy Couprie
38224b2a33 fix attribution 2019-03-06 16:38:13 +01:00
Geoffroy Couprie
7576791f60
Merge pull request #17 from CleverCloud/implementation
Implementation
2019-03-06 16:34:49 +01:00
Geoffroy Couprie
76c5dedefa add more info about the API 2019-03-06 16:33:07 +01:00
Geoffroy Couprie
a731f0b875 specify the format
for now, we use packed CBOR encoding
2019-03-06 16:09:26 +01:00
Geoffroy Couprie
1fd2cf6546 add sealed mode: toekn signed with HMAC and a secret key known to the verifier 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
efe4e03983 use packed CBOR representation 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
5d601dd6ab add more helper functions 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
b889d75897 clean test 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
570879a159 rewrite the token building API
There's now a block builder API, that mirrors the internal facts and rules,
but hiding the symbols, using strings instead.
This makes the API much easier to handle
2019-03-06 15:19:26 +01:00
Geoffroy Couprie
c9f055cddb cleaner api 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
a7e347283b integrate signature checking to deserialization 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
b2cad96242 move serialization to another module 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
df8db1526a each block should reuse the symbol table aggregated from previous blocks 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
493ecc44b7 add block indexes 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
3e7fa8f0e2 proof of concept 2019-03-06 15:19:26 +01:00
Geoffroy Couprie
b942db1ee4
Merge pull request #16 from CleverCloud/datalog-specs
add the logic language to the specification
2019-03-06 14:51:07 +01:00
Geoffroy Couprie
27e22393f6 add the logic language to the specification 2019-03-06 14:49:43 +01:00
Geoffroy Couprie
0a9887df08 mention sealed tokens 2019-03-06 14:44:17 +01:00
Geoffroy Couprie
2506e239a7 add a description of the challenge tokens method 2019-03-06 14:38:41 +01:00
Geoffroy Couprie
64b2551ad5 add a description of the EC-VRF variant 2019-03-06 14:38:09 +01:00
Geoffroy Couprie
843d5964c3 fix EC-VRF scheme description 2019-03-06 14:36:55 +01:00
Geoffroy Couprie
f1f4179493
Merge pull request #15 from CleverCloud/datalog
add datalog example
2019-02-26 11:40:56 +01:00
Geoffroy Couprie
43e5a56ba8
Merge pull request #10 from CleverCloud/vrf-test
add experiment using EC-VRF for aggregation
2019-02-26 11:40:35 +01:00
Geoffroy Couprie
1cd6ba20de add datalog example 2019-02-22 18:04:49 +01:00
Geoffroy Couprie
0149babd71 update EC-VRF algorithm to IETF's draft 4 2019-02-22 17:52:32 +01:00
Geoffroy Couprie
2bec1d22a2 benchmark challenge system with attenuation and challenge signing 2019-02-07 20:14:22 +01:00
Geoffroy Couprie
336420725a sum up the benchmarks 2019-02-07 18:53:52 +01:00
Geoffroy Couprie
9692193b11 add the challenge tokens proposal 2019-02-07 17:56:10 +01:00
Geoffroy Couprie
5ccdeb51e6 calculate signature overhead in byte size 2019-02-07 16:26:04 +01:00
Geoffroy Couprie
ec4cf24782 add a README for code examples 2019-01-31 15:52:34 +01:00
Geoffroy Couprie
ed9c78d5c0 experiment for the EC-VRF based aggregation solution 2019-01-31 15:36:27 +01:00
Geoffroy Couprie
9a7aeec6ea move the pairing crate and mcl lib experiments in code/pairing 2019-01-31 15:34:36 +01:00
Geoffroy Couprie
d6f5ef9eaa add code samples for signature aggregation 2019-01-18 17:30:11 +01:00
Geoffroy Couprie
63c2a153f2
Merge pull request #9 from gitter-badger/gitter-badge
Add a Gitter chat badge to README.md
2019-01-18 17:18:19 +01:00
Geoffroy Couprie
5930f49891
Merge pull request #6 from CleverCloud/proposal/caveat-structure
Document the caveat structure
2019-01-18 17:17:59 +01:00
The Gitter Badger
cd5a548cdd Add Gitter badge 2019-01-18 15:52:11 +00:00
The Fox in the Shell
79a47fc5b7 DESIGN: Fix the critical bounds check in pseudocode
Issue pointed out by @Geal in review:

  https://github.com/CleverCloud/biscuit/pull/6#discussion_r246476442
2019-01-17 14:25:52 +01:00
Geoffroy Couprie
f935912685
Merge pull request #5 from KellerFuchs/typos
Fix typos, improve introduction
2019-01-09 12:02:20 +01:00
The Fox in the Shell
bae7c39f4a Replace the obsoleted evaluation algorithm with Pythonish pseudocode 2019-01-08 23:06:32 +01:00
The Fox in the Shell
cd5b1121c4 Describe caveats, as discussed with tarcieri and geal 2019-01-08 22:37:02 +01:00
The Fox in the Shell
e9858470a3 DESIGN: Fix some typos, improve the introduction 2019-01-08 21:47:42 +01:00
The Fox in the Shell
f7b4656265 README: Fix typos 2019-01-08 21:46:47 +01:00
Geoffroy Couprie
e0e6943196 resize the logo 2019-01-07 12:22:56 +01:00
Geoffroy Couprie
25f439923f add a logo 2019-01-07 12:19:08 +01:00
Geoffroy Couprie
12a2925124 formatting 2019-01-07 11:53:33 +01:00