All notable changes to this project will be documented in this file.
- CKKS: Baby-Step Giant-Step Polynomial Evaluation Algorithm (BSGSPEA)
- Added
PolynomialBasis
, a struct to generate powers of monomials. This struct can be marshalled. - Renamed former
PolynomialBasis
enumerated type toBasisType
. EvaluatePoly
andEvaluatePolyVector
now both accept pre-computedPolynomialBasis
as input in addition toCiphertext
.- Fixed correctness error and panic when a non-relinearized ciphertext and a plaintext were given to
Mul
andMulAndAdd
. - Fixed automatic-scale matching in BSGS that wasn't reliably ensuring that scales between two ciphertext to be added was the same.
- Improved BSGSPEA with lazy relinearization and lazy rescaling.
- Overall the precision of the BSGSPEA is greatly improved and its complexity is reduced. This also improves the precision of the bootstrapping.
- Added
-
CKKS: updated the bootstrapping circuit to use the key-encapsulation mechanism of
Bootstrapping for Approximate Homomorphic Encryption with Negligible Failure-Probability by Using Sparse-Secret Encapsulation
. The previous bootstrapping circuit can be run by settingEphemeralSecretWeight=0
. -
BFV: added the
Evaluator.Rescale
andEvaluator.RescaleTo
methods to switch BFV ciphertexts to lower levels. -
BFV: all
Evaluator
methods on ciphertext support all arithmetic operations at lower levels, but require that operands are at the same level. -
BFV: the plaintext modulus
T
can now equal to the level-zero modulus Q[0] (i.e., be a factor of the ciphertext modulusQ
). -
BFV: added the methods
NewCiphertextLvl
,NewPlaintextLvl
,NewPlaintextMulLvl
,Evaluator.AddScalar
andEvaluator.MulScalarAndAdd
. -
BFV: merged
[]uint64
and[]int64
plaintext encoding methods (e.g.EncodeUint
andEncodeInt
are replaced byEncode
) and added the respective[...]New
methods. -
BFV: added the methods
EvaluatePoly
andEvaluatePolyVector
for homomorphic polynomial evaluation. -
BFV/RING: moved
RNSScaler
fromring
tobfv
. -
RING: removed deprecated
SimpleScaler
.
- Fixed sparse ternary sampler to properly sample on non-zero poly.
- RLWE/CKKS/BFV: added the
H
field andHammingWeight
method in parameters-related structs, to specify distribution of all secrets in the schemes. - RLWE/DRLWE: all secrets in the ternary distribution are now sampled with a fixed hamming weight, according to the parameters.
- CKKS: encoder is now about 3.5x faster (without taking the NTT into account).
- ALL: renamed the module to
github.com/tuneinsight/v3
. - RING: renamed
FastBasisExtender
toBasisExtender
. - RING:
.PolyToBigint[...](*)
now take as inputgap
which defines the multiples ofX^{i*gap}
to reconstruct. - RLWE: removed
FastEncryptor
. Encryption without rescaling byP
is now automatically used byEncryptor
if noP
is specified in the parameters. - RLWE:
NewAdditiveShareBigint
now takes as input the size of the share. - RLWE/CKKS/BFV: added
.ShallowCopy()
,.WithKey()
(shallow copy with new key) toEncryptor
andDecryptor
. - BFV/CKKS: added
.ShallowCopy()
toEncoder
andEncoderBigComplex
(only CKKS). - DRLWE/DCKKS/DBFV: added
.ShallowCopy()
to all protocols. - DLRWE/DCKKS/DBFV: protocols
drlwe.CKSProtocol
anddrlwe.PCKSProtocol
and sub-protocols based on these two protocols now only take a polynomial as input for the share generation instead of the full ciphertext. - DRLWE/DCKKS/DBFV: uniformized API of share generation and aggregation to
.GenShare(*)
and.AggregateShare(*)
.
- RING: added support for ring operations over the conjugate invariant ring.
- RING: added support for custom NTT via the
NumberTheoreticTransformer
interface. - RLWE: added support for RLWE primitives over the conjugate invariant ring.
- RLWE: added
encoding.BinaryMarshaler
implementation forrlwe.Ciphertext
types. - RLWE: added an example implementation of homomorphic RLWE slot shuffling based on RLWE<->LWE conversion.
- RLWE: increased the maximum supported polynomial degree to 2^17.
- CKKS: Trace does not multiply the output by (N/n)^-1 anymore.
- CKKS: added support for the CKKS scheme over the conjugate invariant ring.
- CKKS: renamed
Scale
toDefaultScale
inParameters
andParametersLiteral
. - CKKS: added the
Evaluator.Average
method. - CKKS: added
DomainSwitcher
type for conversion between Standard and Conjugate Invariant variants of CKKS. - CKKS: added support for both
[]complex128
and[]float64
as input toEncoder.Encode*
methods. - CKKS: added support for
[]float64
as input toGetPrecisionStats
. - CKKS: added support for
func(float64)float64
andfunc(complex128)complex128
as input toApproximate
. - CKKS: uniformized the arguments' position for all methods of the
Encoder
interface. - CKKS: renamed
Encoder.EncodeNTT/New
toEncoder.Encode/New
and addedEncoder.EncodeSlots
,Encoder.DecodeSlots
andEncoder.DecodeSlotsPublic
. - CKKS: added
EncodeSlotsQP
to encode onrlwe.PolyQP
to support the newLinearTransform
interface. - CKKS: improved
Encoder
implementation; it is now much faster when encoding sparse plaintexts. - CKKS: changed the approximation intervals from
complex128
tofloat64
. - CKKS: renamed
PtDiagMatrix
toLinearTransform
. - CKKS: added
LinearTransform.Rotations()
to get the required rotation for the reciever plaintext linear tranform. - CKKS: added
Parameters.RotationsForLinearTransform
to get the required rotation for the given plaintext linear tranform. - CKKS: added
NewLinearTransform
,EncodeNewLinearTransform
,GenLinearTransform
andGenLinearTransformBSGS
to allocate and initialize plaintext linear transforms. - CKKS: removed plaintext linear transforms (old
PtDiagMatrix
) constructors and initializers fromEncoder
. - CKKS: added
Evaluator.EvaluatePolyVector
to enable efficient evaluation of multiple different polynomials on the same ciphertext. - CKKS: fixed a bug in the BSGS approach for linear transform where the selection of the ratio bettween giant step and baby step could lead to a ratio of N.
- CKKS: the EvalMod step of the bootstrapping now works for moduli of any size, regardless of
Q[0]
orMessageRatio
. - DCKKS: added support for multiparty CKKS over the conjugate invariant ring.
- DCKKS: fixed
MaskedTransformProtocol
correctness for sparse plaintexts. - Examples: updated the
ckks/sigmoid
example tockks/polyeval
example, that now showcases the use ofPolynomialVector
.
- RING: added
MapSmallDimensionToLargerDimensionNTT
method which maps from Y = X^{N/n} to X in the NTT domain. - RING:
FastBasisExtender
type can now extend the basis of polynomials of any level in base Q to polynomials of any level in base P. - RING: changed RNS division
Div[floor/round]BylastModulus[NTT]
toDiv[floor/round]BylastModulus[NTT]Lvl
(the level of the last modulus must always be provided). - RING: RNS division no longer modifies the output polynomial's level, this is to facilitate the usage of memory pools.
- RING: added the method
MFormVector
, which switches a slice ofuint64
into the Montgomery domain. - RING: RNS scaler (used in BFV) does not modify the input anymore.
- RLWE:
GenSwitchingKey
now accepts secret-keys of different dimensions and level as input to enable re-encryption between different ciphertext degrees. - RLWE: added
SwitchCiphertextRingDegreeNTT
andSwitchCiphertextRingDegree
to switch ciphertext ring degrees. - RLWE: added the
rlwe.RingQP
type to represent the extended ring R_qp. - RLWE: added the
rlwe.PolyQP
type to represent polynomials in the extended ring R_qp. - DRLWE: added the
CKGCRP
,RKGCRP
,RTGCRP
andCKSCRP
types to represent the common reference polynomials in these protocols. - DRLWE: added the
CRS
interface for PRNGs that implement a common reference string among the parties. - DRLWE: added the
SampleCRP(crs CRS)
method to each protocol types to sample their respective CRP type. - BFV: changed the plaintext scaling from
floor(Q/T)*m
toround((Q*m)/T)
to reduce the initial ciphertext noise. - CKKS: added the
ckks/advanced
sub-package and moved the homomorphic encoding, decoding and modular reduction into it. - CKKS: added the
ckks/bootstrapping
sub-package and moved the CKKS bootstrapping into it. This package now mostly relies on theckks/advanced
package. - CKKS: renamed the
ChebyshevInterpolation
type toPolynomial
. - CKKS: removed the
EvaluateCheby
method that was redundant with theEvaluatePoly
one. - CKKS: optimized the
EvaluatePoly
to account for odd/even polynomials and fixed some small imprecisions in scale management occurring for some specific polynomial degrees. - CKKS: some advanced methods related to automorphisms are now public to facilitate their external use.
- CKKS: improved the consistency of the API for in-place and
[..]New
methods. - CKKS: added the method
NewCiphertextAtLevelFromPoly
, which creates a ciphertext at a specific level from two polynomials. - CKKS: updated precision stats struct, added L2 norm in the statistics and improved the command line prints.
- CKKS: improved the algorithmic complexity of
MultiplyByDiagMatrixBSGS
and updated the bootstrapping parameters accordingly. - CKKS:
PermuteNTTHoistedNoModDown
now returns[phi(P*c0 + c0'), phi(c1')]
instead of[phi(c0'), phi(c1')]
. - CKKS: Changed
RotateHoistedNoModDown
toRotateHoistedNoModDownNew
for consistency. - DBFV/DCKKS: both now use their respective CRP type for each protocol.
- EXAMPLE: added showcase of the
ckks/advanced
sub-package: a bridge between CKKS and FHEW ciphertexts using homomorphic decoding, ring dimension switching, homomorphic matrix multiplication and homomorphic modular reduction.
- Added SECURITY.md
- ALL: when possible, public functions now use
int
instead ofuint64
as parameters and return values. - ALL:
ring.Ring
are not instantiated once in the parameters and read only. They are then accessed by other structs, like the encryptor or evaluator. - RING: removed
MulPoly
and its related tests. - RING:
ring.Ring
is now read-only and thread-safe. - RING: RNS rescaling API is now in place and can take a different poly as output.
- RING: added
ReadFromDistLvl
andReadAndAddFromDistLvl
to Gaussian sampler API. - RING: added
IsNTT
andIsMForm
flags in thering.Poly
type. For now, these flags are never checked or changed by thering
package. - RLWE: added a new
rlwe
package as common implementation base package for the Lattigo RLWE schemes. - RLWE: extracted the
rlwe.Parameters
type as common base struct for BFV and CKKS parameters. - RLWE: extracted the
rlwe.KeyGenerator
type as common key-generator for BFV and CKKS. - RLWE: extracted the
rlwe.Ciphertext
type as common base struct for BFV and CKKS ciphertexts. - RLWE: extracted the
rlwe.Plaintext
type as common base struct for BFV and CKKS plaintext. - RLWE: extracted the
rlwe.Encryptor
type as common base interface for BFV and CKKS encryptors. - RLWE: extracted the
rlwe.Decryptor
type as common base interface for BFV and CKKS decryptors. - RLWE: extracted the
rlwe.KeySwitcher
type as a common key-switching implementation for BFV and CKKS evaluators. - RLWE: renamed the
Parameters.Copy()
method toParameters.CopyNew()
for consistency. - RLWE: added
Parameter
struct, that stores the relevantring.Ring
instances and has getter methods to access them. - RLWE: added equality and inclusion check methods for the
rlwe.RotatationKeySet
type. - RLWE: added tests for encryption, decryption, key-generation and key-switching.
- RLWE: moved keys related marshalling tests of
bfv
andckks
packages therlwe
package. - DRLWE: added a new
drlwe
package as a common implementation base for the lattigo multiparty RLWE schemes. - DRLWE: added tests for the protocols.
- DRLWE: moved keys-related marshalling tests of
dbfv
anddckks
packages to thedrlwe
package. - BFV/CKKS: the schemes now use a common implementation for their keys.
- BFV/CKKS: the rotation-keys are now indexed by their corresponding Galois automorphism.
- BFV/CKKS: the
Evaluator
interface now has a single method for all column rotations and one method for the row-rotation/conjugate. - BFV/CKKS: the relinearization and rotation keys are now passed to the
Evaluator
constructor methods (and no longer to the operations methods). - BFV/CKKS: added the ParameterLiteral type for literally specifying scheme parameters in Go programs.
- BFV/CKKS: removed the now obsolete
Moduli
andLogModuli
types and their associatedParameters
constructors. - BFV/CKKS:
Parameters
types are now passed by value in most situations. - BFV/CKKS: added
encoding/json
-compatible JSON serializers and deserializers for theParameters
types. - BFV/CKKS: removed the scheme-specific key types.
- BFV/CKKS: added a
-params=[params json]
flag for all test and bench suites for specifying parameters from the command line. - DBFV/DCKKS: added a common interface and implementation for each multiparty protocol.
- DBFV/DCKKS: added standalone Encryption-To-Shares (
E2SProtocol
) and Shares-To-Encryption (S2EProtocol
) protocols for domain switching between encryptions and secret-shares. - DBFV/DCKKS: generalized the Refresh-and-permute protocol into generic
MaskedTransformProtocol
that accepts an arbitrary linear function. - DCKKS: public-refresh now takes a target desired output scale, which enables refreshing the ciphertext to the default scale.
- BFV: the moduli of
ringQMul
are now generated based onN
andQ
. - CKKS: added
Parameter
methods that compute the required rotations for relevantEvaluator
operations. - CKKS: added methods for performing linear-transformations and improved several aspects listed below.
- CKKS: improved the tests for
CoeffsToSlots
andSlotsToCoeffs
.
- The procedure now allows for a more granular parameterization.
- Added flag in bootstrapping parameters for bit-reversed inputs (with bit-reversed output) CoeffsToSlots and SlotsToCoeffs.
- Added optional Arcsine.
- The procedure now uses the new linear-transformation API.
CoeffsToSlots
andSlotsToCoeffs
are now standalone public functions.
RotateHoisted
: evaluates several rotations on a single ciphertext.LinearTransform
: evaluates one or morePtDiagMatrix
on a ciphertext usingMultiplyByDiagMatrix
orMultiplyByDiagMatrixBSGS
according to the encoding ofPtDiagMatrix
.MultiplyByDiagMatrix
: multiplies a ciphertext with aPtDiagMatrix
using n rotations with single hoisting.MultiplyByDiagMatrixBSGS
: multiplies a ciphertext with aPtDiagMatrix
using 2sqrt(n) rotations with double-hoisting.InnerSumLog
: optimal log approach that works for any value (not only powers of two) and can be parameterized to inner sum batches of values (sub-vectors).InnerSum
: naive approach that is faster for small values but needs more keys.ReplicateLog
: optimal log approach that works for any value (not only powers of two) and can be parameterized to replicate batches of values (sub-vectors).Replicate
: naive approach that is faster for small values but needs more keys.
PtDiagMatrix
: struct that represents a linear transformation.EncodeDiagMatrixBSGSAtLvl
: encodes aPtDiagMatrix
at a given level, with a given scale for the BSGS algorithm.EncodeDiagMatrixAtLvl
: encodes aPtDiagMatrix
at a given level, with a given scale for a naive evaluation.DecodePublic
: adds Gaussian noise of variance floor(sigma * sqrt(2*pi)) before the decoding step (see SECURITY.md).DecodeCoeffsPublic
: adds Gaussian noise of variance floor(sigma * sqrt(2*pi)) before the decoding step (see SECURITY.md).GetErrSTDFreqDom
: get the error standard deviation in the frequency domain (slots).GetErrSTDTimeDom
: get the error standard deviation in the time domain (coefficients).
MultByi
now correctly sets the output ciphertext scale.Relinearize
now correctly sets the output ciphertext level.- matrix-vector multiplication now correctly manages ciphertexts of higher level than the plaintext matrix.
- matrix-vector encoding now properly works for negative diagonal indexes.
- PrecisionStats now includes the standard deviation of the error in the slots and coefficients domains.
- BFV/CKKS: added a check for minimum polynomial degree when creating parameters.
- BFV: added the
bfv.Element.Level
method. - RING: test for sparse ternary sampler.
- BFV/CKKS: pk is now (-as + e, a) instead of (-(as + e), a).
- BFV: harmonized the EvaluationKey setter from
SetRelinKeys
toSet
. - CKKS: renamed
BootstrappParams
intoBootstrappingParameters
. - CKKS: the
Evaluator.DropLevel
,Parameters.SetLogSlots
andElement.Copy
methods no longer return errors. - RING: minimum poly degree modulus is 16 to ensure the NTT correctness.
- RING: isPrime has been replaced by big.ProbablyPrime, which is deterministic for integers < 2^64.
- ALL: reduced cyclomatic complexity of several functions.
- ALL: fixed all instances reported by staticcheck and gosec excluding G103 (audit the use of unsafe).
- ALL: test vectors are now generated using the crypto/rand instead of math/rand package.
- ALL: fixed some unhandled errors.
- BFV/CKKS: improved the documentation: documented several hard-coded values and fixed typos.
- RING: fixed bias in sparse ternary sampling for some parameters.
- RING: tests for the modular reduction algorithms are now deterministic.
- BFV: special-purpose plaintext types (
PlaintextRingT
orPlaintextMul
) for optimized ct-pt operations. See bfv/encoder.go and bfv/plaintext.go. - BFV: allocation-free
Encoder
methods. - RING:
GenNTTPrimes
now takes the valueNth
(for Nth primitive root) as input rather thanlogN
.
- BFV: the
Encoder.DecodeUint64
andEncoder.DecodeInt64
methods now take the output slice as argument. - CKKS: API of
Evaluator.RotateColumns
becomesEvaluator.Rotate
. - CKKS: the change of variable in
Evaluator.EvaluateCheby
isn't done automatically anymore and the user must do it before calling the function to ensure correctness. - CKKS: when encoding, the number of slots must now be given in log2 basis. This is to prevent errors that would induced by zero values or non power of two values.
- CKKS: new encoder API :
EncodeAtLvlNew
andEncodeNTTAtLvlNew
, which allow a user to encode a plaintext at a specific level.
- CKKS: removed method
Evaluator.EvaluateChebySpecial
. - BFV: removed
QiMul
field frombfv.Parameters
. It is now automatically generated.
- Global 1.5x speed-up across all arithmetic (this does not include sampling).
- BFV/CKKS: Added fast encryption (directly in Q without the rescaling by P).
- CKKS: Added full-RNS scale-invariant bootstrapping (https://eprint.iacr.org/2020/1203).
- CKKS: Added parameterized tests for a range of experiments.
- CKKS: Added arbitrary precision encoding/decoding.
- CKKS: Added scale invariant polynomial evaluation.
- CKKS: Added encoding/decoding for coefficient packing.
- CKKS The user can now choose to encode a plaintext in or out of the NTT domain (the latter option leads to slightly faster encryptions).
- CKKS: Added secret-key gen with error distribution.
- DBFV: Added collective refresh with arbitrary permutation/linear transformation.
- DCKKS: Added collective refresh with arbitrary permutation/linear transformation.
- RING: Added arbitrary precision complex arithmetic, including cos and sin functions.
- RING: Added polynomial interpolation.
- RING: Added polynomial inversion.
- RING: Extracted interface type Scaler for polynomial coefficient scaling.
- RING: Added type RNSScaler as an efficient, cross-platform implementation of the Scaler interface.
- ALL: all tests now use "require".
- BFV/CKKS: Now parameters without P can be used, but the key-switching is disabled.
- BFV/CKKS: Now parameters do not use methods to access internal values.
- BFV/CKKS: New rotations keys optimized for hoisting rotations of the form (-phi^{-1}(s1)a + phi(s0) + e, a).
- BFV: The Decoder uses the RNSScaler implementation of the Scaler interface to perform the t/Q rescaling.
- CKKS: Simplified the code of the hybrid key-switching (does not affect user experience).
- CKKS: The encoding/decoding operations at level 0 are now 500% faster.
- CKKS: The encoder now accepts slices of complex values with length equal to or smaller than the specified number of slots.
- RING: Improved primes finding.
- RING: All Gaussian sampling now uses Ziggurat sampling.
- RING: Revamped polynomial samplers to make them more memory efficient, consistent user friendly, and to enable parallel sampling.
- RING: The SimpleScaler type now use slightly slower but cross-platform big.Int/Float.
- UTILS: Complete revamp of the PRNG (Blake2b XOF), to make it more user friendly and consistent.
- BFV/CKKS: Parameters API generation GenFromLogModuli() and GenFromModuli() have been removed and replaced by Gen().
- CKKS: EvaluatePolyFast(.) and EvaluatePolyEco(.) are replaced by EvaluatePoly(.).
- CKKS: EvaluateChebyFast(.) and EvaluateChebyEco(.) are replaced by EvaluatePolyCheby(.).
- CKKS: EvaluateChebyEcoSpecial(.) and EvaluateChebyFastSpecial(.) are replaced by EvaluatePolyChebySpecial(.).
- RING: The Float128 type was removed due to cross-platform incompatibility.
- BFV: Fixed multiplication that was failing when #Qi != #QMul.
- BFV: Fixed a mempool corruption when encrypting from SK.
- CKKS: The function mulrelin now always returns a fully reduced polynomial.
- CKKS: The encoder now correctly checks that the number of slots is a power of two.
- RING: Prevented a rare case of uint64 overflow during prime sampling.
- RING: Prevented a rare case where two identical primes could be returned when sampling primes.
- BFV/CKKS: Added API for encrypting using a CRP (common reference polynomial).
- BFV/CKKS: Added API for encrypting faster (encrypts zero directly in Q instead of QP and does not need to divide by P).
- BFV/CKKS: Parameters can now be created without the modulus P. Doing so disables all key-switching operations.
- CKKS: Added tests for hoisted rotations.
- RING: Added benchmarks for a NTT using purely Barrett reduction for comparison purposes.
- BFV/CKKS: Changed the switching keys from (-as1 + (s0-s1) + e, a) to (-as1 + s0 + e, a). This does not affect the user experience as it only changes the internal behavior, which is kept consistent. However, Rotation and KeySwitching keys generated with older releases will induce wrong results and will need to be re-generated.
- BFV: Fixed EncryptFromSK that was not correctly wiping the memory pool before using it, which lead to back encryptions.
- BFV: Fixed an index out of bound error that would happen during the multiplication if #QMul > #Qi.
- CKKS: Removed some redundant operations in the hoisted rotations.
- CKKS: MulRelin now always returns a fully reduced ciphertext.
- DCKKS: PCKS and CKS now correctly set the scale of the output ciphertext to the scale of the input ciphertext.
- RING: Fixed GenerateNTTPrimes that could return twice the same prime if the initial value was prime.
- RING: The function context.UniformPoly now samples based on the number of moduli of the context rather than based on the input polynomial.
- All schemes: New switching-keys and key-switching algorithm based on the concept presented in https://eprint.iacr.org/2019/688.pdf.
- All schemes: New marshaling interface for all structures.
- BFV/CKKS: New Parameters structs and API that enable a better customization and fine tuning for specific applications.
- CKKS: New API for hoisted rotations, faster than sequential rotations.
- DBFV/DCKKS: Added collective refresh of a ciphertext (decentralized bootstrapping).
- RING: Added Ziggurat sampling, available from the context.
- RING: Enabled dense and sparse ternary polynomials sampling directly from the context.
- RING: New API enabling "level"-wise polynomial arithmetic.
- RING: New API for modulus switching with flooring and rounding.
- UTILS: The package utils now regroups all the utility methods which were previously duplicated among packages.
- BFV/CKKS/DBFV/DCKKS: Removed their respective context. Ring context remains public.
- All schemes: Removed key-switching with bit decomposition. This option will however be re-introduced at a later stage since applications using small parameters can be impacted by this change.
- BFV/CKKS/RING: Removed redundant/irrelevant tests and benchmarks.
- BFV: Removed context QP as it is now not used in the multiplication.
- BFV: Removed int encoder, now only batch encoding is supported.
- CKKS: Modulus switching is moved to the Ring package.
- RING: Removed the algorithms that needed Float128 during the BFV multiplication.
- RING: Removed most wrapping methods for bigInt, which are now replaced by the native math/big package.
- RING: Removed ternary sampler, which is now part of the context.
- All schemes: Encryptor, Decryptor, Encoder, Evaluator, KeyGenerator are now interface types.
- All schemes: Improved Godoc and error strings.
- ALl schemes: Greatly reduced the number of methods that could return an error.
- All schemes: New tests and benchmarks with fully supported regex.
- All schemes: Coefficient-wise arithmetic using double slices is now substantially faster.
- BFV/CKKS: Changed the name of the underlying ring contexts. Q now represents the ciphertext modulus (with QMul being the extended ciphertext modulus for BFV) and QP represents modulus of the keys (where P is the special primes used during the new key-switching).
- BFV/CKKS/DBFV/DCKKS: The structures are now created using the parameters instead of the context.
- BFV: Quantization during multiplication does not use Float128 any more, resulting in a substantial speed improvement.
- BFV: BatchEncoder has been renamed Encoder.
- CKKS: The scale is now stored as a float64 instead of a power of 2.
- CKKS: Rounding is applied instead of flooring when a real value is converted to an integer value. This change affects the rescaling and the encoding.
- CKKS: Use of one context for all levels, instead of requiring one ring context per level.
- CKKS: New baby-step giant-step algorithm for evaluating polynomials in standard and Chebyshev basis.
- CKKS: Reduced the number of NTT needed during the encryption.
- CKKS: API for MultConst is now MultByConst.
- BFV/CKKS: New API for the rotation-keys generation.
- DBFV/DCKKS: Complete revamp of the API and interfaces enabling a much easier integration into larger systems.
- DBFV/DCKKS: Improved PCKS and CKS using the concept of the new key-switching technique which enables to reduces the added noise.
- DCKKS: All protocols work for ciphertexts at any levels.
- RING: Faster MulScalarBigint (now similar to MulScalar).
- UTILS: PRNG must be keyed to be forward secure.
- All packages: Corrected typos, godoc and golint.
- CKKS: ciphertext rotation now correctly sets the scale of the output ciphertext.
- DBFV/DCKKS: Correctness is now ensured when the same protocol instance is used to generate multiples shares.
Internal version, merged with 1.3.0.
- CHANGELOG.md file.
- BFV: New methods on bfvcontext to access information/stored variables.
- BFV: When creating a new batch encoder, an error will now be returned if the plaintext modulus does not allow NTT.
- CKKS: New methods on ckkscontext to access information/stored variables.
- CKKS: Added marshalling and tests for marshalling.
- CKKS: Added default parameters and parameters marshalling.
- CKKS (API change): encryption can now also be done with the secret-key.
- CKKS (API change): new separate struct for the encoder, that will store a small memory pool for temporary elements.
- BFV/CKKS: Operand interface.
- RING: New method MultByVector.
- RING (API change): New Ternary Sampler, which enables to specify the key distribution {-1, 0, 1} -> [(1-p)/2, p, (1-p)/2]; it is faster than the previous implementation.
- GoDoc for BFV, CKKS, Ring, DBFV, and DCKKS.
- README for BFV and CKKS.
- Code cleaning for all packages.
- Minor optimizations for all packages.
- Updated README.md.
- BFV (API change): bfvcontext now only accepts as input a struct of the type Parameters, similar to the one used for DefaultParams.
- BFV (API change): Removed bfvcontext from ciphertexts and plaintexts.
- BFV (API change): Encryption can now also be done with the secret-key.
- BFV: The value logQ in the bfvcontext now stores the bit size of the product of the ciphertext's moduli.
- BFV: The information printed by the tests now better conveys the parameters.
- BFV: Updated and optimized default parameters.
- BFV: Updated example with secure parameters.
- CKKS (API change): ckkscontext now only accepts as input a struct of the type Parameters, similar to the one used for DefaultParams.
- CKKS (API change): ckkscontext now requires as input the moduli chain (in bit size), instead of a generic logQ and levels. This allows more fine-grained control on the rescaling and levels.
- CKKS (API change): removed ckkscontext from ciphertexts and plaintexts.
- CKKS: Updated the value logQ in the ckkscontext, which now stores the bit size of the product of the ciphertext's moduli.
- CKKS: Updated the information printed by the tests to more reflect the parameters.
- BFV/CKKS: Greatly simplified the code related to the rotations.
- BFV/CKKS: Reduced the number of instances where an error could be returned and updated information of the returning errors.
- RING (API change): Changed the API of the validation method of the context to better reflect its purpose.
- BFV/CKKS/RING: The copy function will now copy the input poly on the target poly (previously the target was copied on the input).
- Updates on all packages and tests to comply with the API changes in BFV and CKKS.
- The evaluator of both BFV and CKKS cannot operate on two plaintexts anymore. They now always return an element of type Ciphertext.
- The contexts of BFV and CKKS will not store their checksum anymore, nor will the evaluator check for context consistency of the input and output elements.
- Fixed overflow occurring in the basis extension when small and large moduli are used together.
- First public release.