Commit Graph

91 Commits

Author SHA1 Message Date
Geoffroy Couprie
09a8b33df9 update samples to reflect recent changes:
- context field in blocks
- verifier caveat errors so not have a block id anymore
- now a fact from one block can be used by another block
- FailedBLockCaveat error now applies to the authority block as well
- the authority block can contain facts without the authority tag (other
block still cannot contain facts with the authority tag)
- token pretty printing changes
2019-12-19 14:48:40 +01:00
Geoffroy Couprie
346023e985 update the readme 2019-12-19 11:21:44 +01:00
Geoffroy Couprie
8893505ab8 text format 2019-12-19 11:07:43 +01:00
Geoffroy Couprie
db71970d06 update the spec
- context
- verifier caveats
- merging blocks data instead of verifying each block separately
- verifier queries
2019-12-19 10:57:45 +01:00
Geoffroy Couprie
be9c40fdde move caveat language examples 2019-12-19 09:58:28 +01:00
Geoffroy Couprie
59635ce67b remove old comment 2019-12-19 09:55:16 +01:00
Geoffroy Couprie
f82fb6513f mention regular expression string constraints 2019-12-19 09:51:14 +01:00
Geoffroy Couprie
0536979185 missing mention of block rules 2019-12-19 09:47:52 +01:00
Geoffroy Couprie
5d64208907 test case for regex constraints 2019-11-25 11:04:25 +01:00
Geoffroy Couprie
f6382444eb update the schema 2019-11-25 11:04:08 +01:00
Geoffroy Couprie
a0c6952123 format modification: every block can have rules and facts
before:
- rules in an authority block are authority facts generation rules
- rules in other blocks are caveats

now:
- rules in an authority block are authority facts generation rules
- rules in other block are facts generation rules for this block's validation
- caveats in the authority block are tested once at the beginning of
the validation
- caveats in an other block are specific to that block's validation
2019-10-29 11:57:13 +01:00
Geoffroy Couprie
0bbd240035 add a license 2019-10-28 11:33:30 +01:00
Geoffroy Couprie
9f54cfb823 add a sample for facts generated through authority rules 2019-09-18 11:55:13 +02:00
Geoffroy Couprie
a110ea047d test cases 2019-09-17 17:19:16 +02:00
Geoffroy Couprie
f7ca88103d Merge branch 'master' of github.com:CleverCloud/biscuit 2019-09-17 17:00:43 +02:00
Geoffroy Couprie
6c72c8357f
blocks and symbol tables 2019-09-17 17:00:30 +02:00
Geoffroy Couprie
772e457ef3
storage format and crypto operations 2019-09-17 16:39:46 +02:00
Geoffroy Couprie
5454c48035
Update SPECIFICATIONS.md 2019-09-17 15:47:33 +02:00
Geoffroy Couprie
f74d21151f
update API 2019-09-17 15:04:21 +02:00
Geoffroy Couprie
1e07c28409 fix test code 2019-09-17 14:55:43 +02:00
Geoffroy Couprie
653f534b1b update the schema for aggregated gamma signatures
the new signatures are smaller
2019-09-04 14:41:22 +02:00
Geoffroy Couprie
5b370406aa implement a different point hashing function 2019-09-03 15:54:17 +02:00
Geoffroy Couprie
6eb5192fe1 add the warning about the vulnerability in the VRF proposal 2019-09-03 15:35:04 +02:00
Geoffroy Couprie
36a5c89dc7 formatting 2019-09-03 15:32:46 +02:00
Geoffroy Couprie
d2b18c900f add gamma signatures 2019-09-03 15:30:06 +02:00
Geoffroy Couprie
5f55b60a0e
fix typos 2019-09-02 15:43:56 +02:00
Geoffroy Couprie
558a9335be
k is generated from the private key, not the public key 2019-09-02 11:42:36 +02:00
Geoffroy Couprie
fb436006d1
Merge pull request #20 from CleverCloud/specifications
Specifications
2019-07-02 10:06:12 +02:00
Geoffroy Couprie
68cfd6f340 move to protobuf 2019-04-01 17:41:20 +02:00
Geoffroy Couprie
62a1b24d75 more info on caveats 2019-03-20 15:44:40 +01:00
Geoffroy Couprie
319ecc2165 add the logic language's description 2019-03-20 15:28:54 +01:00
Geoffroy Couprie
0fc3c7bebf specs structure and introduction 2019-03-20 15:22:02 +01:00
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