From 292f7ac25eeff7861b3151208d15e72549ce3cf6 Mon Sep 17 00:00:00 2001 From: Janis Erdmanis Date: Thu, 31 Oct 2024 02:53:59 +0200 Subject: [PATCH] fix spelling --- src/braid.jl | 4 ++-- test/verificatum-prover.jl | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/braid.jl b/src/braid.jl index 755489e..2ff1cfe 100644 --- a/src/braid.jl +++ b/src/braid.jl @@ -14,7 +14,7 @@ Base.:(==)(x::Braid{G}, y::Braid{G}) where G <: Group = x.shuffle == y.shuffle & function Base.permute!(braid::Braid, perm::AbstractVector{<:Integer}) # Mutations are not that simple here as struct may hold a pointer to the same reference hence permutation needs to be skipped here - if !(braid.decryption.cyphertexts === braid.shuffle.𝐞′) + if !(braid.decryption.ciphertexts === braid.shuffle.𝐞′) permute!(braid.shuffle, perm) end @@ -44,7 +44,7 @@ function braid(Y::Vector{G}, g::G; roprg = gen_roprg(), x = gen_x(g; roprg), return braid_proposition end -isconsistent(braid::Braid) = braid.shuffle.𝐞′ == braid.decryption.cyphertexts +isconsistent(braid::Braid) = braid.shuffle.𝐞′ == braid.decryption.ciphertexts function verify(braid::Braid, 𝐫′::Vector{<:Integer}, 𝛙::Vector{<:Integer}, x::Integer) diff --git a/test/verificatum-prover.jl b/test/verificatum-prover.jl index 3f2f315..587c087 100644 --- a/test/verificatum-prover.jl +++ b/test/verificatum-prover.jl @@ -5,7 +5,7 @@ using Test import ShuffleProofs: prove, verify, Simulator, Verifier, PoSChallenge, Shuffle, shuffle, VShuffleProof, PoSProof, ProtocolSpec, gen_roprg, load using CryptoGroups -import ShuffleProofs.SigmaProofs.ElGamal: Enc, Dec, ElGamalRow +import SigmaProofs.ElGamal: Enc, Dec, ElGamalRow g = @ECGroup{P_192}()