Class: RSA::ACC::NonMembershipProof

Inherits:
Object
  • Object
show all
Defined in:
lib/rsa/acc/proof.rb

Overview

Proof of non-membership of the element’s not inclusion in the accumulator.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(d, v, gv_inv, poke2_proof, poe_proof) ⇒ NonMembershipProof

Returns a new instance of NonMembershipProof.



40
41
42
43
44
45
46
 
# File 'lib/rsa/acc/proof.rb', line 40

def initialize(d, v, gv_inv, poke2_proof, poe_proof)
  @d = d
  @v = v
  @gv_inv = gv_inv
  @poke2_proof = poke2_proof
  @poe_proof = poe_proof
end

Instance Attribute Details

#d ⇒ Object (readonly)

d = g^b



34
35
36
 
# File 'lib/rsa/acc/proof.rb', line 34

def d
  @d
end

#gv_inv ⇒ Object (readonly)

gv_inv = v^-1



36
37
38
 
# File 'lib/rsa/acc/proof.rb', line 36

def gv_inv
  @gv_inv
end

#poe_proof ⇒ Object (readonly)

NI-PoE(d, x, g*v^-1)



38
39
40
 
# File 'lib/rsa/acc/proof.rb', line 38

def poe_proof
  @poe_proof
end

#poke2_proof ⇒ Object (readonly)

NI-PoKE2(A, v, a)



37
38
39
 
# File 'lib/rsa/acc/proof.rb', line 37

def poke2_proof
  @poke2_proof
end

#v ⇒ Object (readonly)

v = A(current acc)^a



35
36
37
 
# File 'lib/rsa/acc/proof.rb', line 35

def v
  @v
end