fcomm 0.2.0

Functional commitments with Lurk
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

all: build eval \
    eval-fibonacci verify-fibonacci-proof verify-fibonacci2-proof \
    verify-num-list-opening \
	verify-chained-opening verify-chained2-opening verify-chained2-from_req-opening

clean:
	rm -f *proof*.json *opening*.json *commitment*.json *claim*.json

build : 
	[ -f ../../target/release/fcomm ] || cargo build --release

%-commitment %-commitment.json : %-function.json
	cargo run --release -- commit --function $*-function.json --commitment $*-commitment.json

%-opening %-opening.json : %-function.json %-input.lurk %-commitment.json
	cargo run --release -- open --function $*-function.json --input $*-input.lurk --proof $*-opening.json

verify-%-proof verify-%-proof.json : %-proof.json
	cargo run --release -- verify --proof $*-proof.json

verify-%-opening verify-%-opening.json : %-opening.json
	cargo run --release -- verify --proof $*-opening.json

eval :
	cargo run --release eval --expression eval-input.lurk --lurk

eval-fibonacci :
	cargo run --release -- eval --expression fibonacci.lurk --lurk

fibonacci-claim.json : fibonacci.lurk
	cargo run --release -- eval --expression fibonacci.lurk --claim fibonacci-claim.json --lurk

fibonacci-proof fibonacci-proof.json : fibonacci.lurk
	cargo run --release -- prove --expression fibonacci.lurk --proof fibonacci-proof.json --lurk

fibonacci2-proof fibonacci2-proof.json : fibonacci-claim.json
	cargo run --release -- prove --claim fibonacci-claim.json --proof fibonacci2-proof.json

chained-opening.json : chained-function.json chained-input.lurk chained-commitment
	cargo run --release open --function chained-function.json --input chained-input.lurk --proof chained-opening.json --chain

chained2-opening chained2-opening.json : chained-input.lurk chained-opening
	# NOTE: This concrete commitment (39ceb60c198b6b7c9f1ff98dd83026bd282e32307d8bd10a28f19d637c4d8549) can be found
	# in chained-opening.json, but its identity is determistic based on the secret and 'second return value' (cdr)
	# of the function specified in chained-function.json.
	cargo run --release open --commitment 39ceb60c198b6b7c9f1ff98dd83026bd282e32307d8bd10a28f19d637c4d8549 --input chained-input.lurk --proof chained2-opening.json --chain

chained2-from_req-opening chained2-from_req-opening.json : chained-opening chained-request.json
	cargo run --release open --request chained-request.json --proof chained2-from_req-opening.json