Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 5 additions & 6 deletions willow/crypto/zk_rlwe_relation.rs
Original file line number Diff line number Diff line change
Expand Up @@ -681,10 +681,10 @@ impl<'a> ZeroKnowledgeProver<RlweRelationProofStatement<'a>, RlweRelationProofWi
let rho = rho_vec[j];
// Evaluate the private polynomials at rho.
// Unlike the other polynomials we are evaluating (a*r) and (v*p) can exceed 2^128 (for
// large q) so we split the polynomials in this section into upper and lower
// parts to avoid overflow. We use base q as this will be convenient in the
// following calculations and we don't mind the smaller part exceeding q so
// long as it doesn't overflow the 128bit type.
// large q) so we split the polynomials in this section into upper and lower parts to
// avoid overflow. We use base q as this will be convenient in the following
// calculations and we don't mind the smaller part exceeding q so long as it doesn't
// overflow the 128bit type.
//
// We make the upper part signed so we can represent negative numbers.
let mut arrho_upper = 0i128;
Expand Down Expand Up @@ -753,8 +753,7 @@ impl<'a> ZeroKnowledgeProver<RlweRelationProofStatement<'a>, RlweRelationProofWi
// powers of rho.
// The concatenation of these public vectors we now write into the public_vec for the inner
// product proof. Followed by the public half of -q*wrho i.e. just the scalar -q (with the
// relevant tau powers). The expected result of the inner product is also computed
// here.
// relevant tau powers). The expected result of the inner product is also computed here.
let (mut public_vec, mut result) = create_public_vec(
&rho_vec,
&arho_vec,
Expand Down
5 changes: 5 additions & 0 deletions willow/proto/willow/committee_selector.proto
Original file line number Diff line number Diff line change
Expand Up @@ -198,6 +198,11 @@ message CheckVolunteerStatusResponse {

// Authorization token to use for future requests.
string auth_token = 4 ;

// Optional: If the member was selected, the member's identifier within the
// committee, in the range [1, committee_size]. The member sends it as
// `member_id` or `sender_member_id` in its later requests.
int64 member_id = 5 ;
}

// Generic error status returned from the TEE to the untrusted frontend for the
Expand Down
4 changes: 2 additions & 2 deletions willow/protocol/messages.rs
Original file line number Diff line number Diff line change
Expand Up @@ -187,8 +187,8 @@ impl<Vahe: VaheBase> Debug for PartialDecryptionRequest<Vahe> {
pub struct PartialDecryptionResponse<Kahe: KaheBase, Vahe: VaheBase> {
pub partial_decryption: Vahe::PartialDecryption,
// This contribution just contains encrypted DP noise. The server will be forced to include
// this contribution in the result because the randomness of the AHE encryption was
// included in the partial decryption request.
// this contribution in the result because the randomness of the AHE encryption was included in
// the partial decryption request.
pub dp_ciphertext_contribution: Option<CiphertextContribution<Kahe, Vahe>>,
}

Expand Down
Loading