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