Dlaexc swaps two adjacent diagonal blocks of order 1 or 2 in an n×n upper quasi-triangular matrix T by an orthogonal similarity transformation. T mus

EnoughApprovals returns true if enough verifiers have sent their approval for the deal they received.

MarshalBinary returns the binary representations of a Deal. The encryption of a deal operates on this binary representation.

Encoded length of this object in bytes.

ProcessDeal takes a Deal created by Deals() and stores and verifies it. It returns a Response to broadcast to every other participant. It returns an e

ProcessDeal takes a Deal created by Deals() and stores and verifies it. It returns a Response to broadcast to every other participants. It returns an

SetTri sets the element of the triangular matrix at row i, column j to the value v. It panics if the location is outside the appropriate half of the m

Error - checking

columnOf returns a copy of the j-th column of a.

constructQ constructs the Q matrix from the result of dgeqrf and dgeqr2.

equalStrided returns true if the strided vector x contains elements of the dense vector ref at indices i*inc, false otherwise.

Replace (f,g) with (g,g) if b == 1; replace (f,g) with (f,g) if b == 0. Preconditions: b in {0,1}.

Add adds, element-wise, the elements of s and dst, and stores in dst. Panics if the lengths of dst and s do not match.

Dgelqf computes the LQ factorization of the m×n matrix A using a blocked algorithm. See the documentation for Dgelq2 for a description of the paramete

DistKeyShare generates the distributed key relative to this receiver. It throws an error if something is wrong such as not enough deals received. The

EncryptedDeal returns the encryption of the deal that must be given to the verifier at index i. The dealer first generates a temporary Diffie Hellman

EncryptedDeal returns the encryption of the deal that must be given to the verifier at index i. The dealer first generates a temporary Diffie Hellman

Product calculates the product of the given factors and places the result in the receiver. The order of multiplication operations is optimized to mini

Public returns the corresponding public key.

SetSym sets the elements at (i,j) and (j,i) to the value v.

Shares creates a list of n private shares p(1),...,p(n).

UnmarshalBinary tries to decode a Int from a byte-slice buffer. Returns an error if the buffer is not exactly Len() bytes long or if the contents of t

VerifyDeal analyzes the deal and returns an error if it's incorrect. If inclusion is true, it also returns an error if it the second time this struct

feToBytes marshals h to s. Preconditions: |h| bounded by 1.1*2^25,1.1*2^24,1.1*2^25,1.1*2^24,etc. Write p=2^255-19; q=floor(h/p). Basic claim: q = fl

CovarianceMatrix returns the covariance matrix (also known as the variance-covariance matrix) calculated from a matrix of data, x, using a two-pass al

Dim returns the dimension of the distribution.

Dlapy2 is the LAPACK version of math.Hypot. Dlapy2 is an internal routine. It is exported for testing purposes.

Dlatrs solves a triangular system of equations scaled to prevent overflow. It solves A * x = scale * b if trans == blas.NoTrans A^T * x = scale * b if

EnoughApprovals returns true if enough verifiers have sent their approval for the deal they received.

IsInf reports whether f is an infinity, according to sign. If sign > 0, IsInf reports whether f is positive infinity. If sign < 0, IsInf reports wheth

NewUniform creates a new uniform distribution with the given bounds.

Norm returns the specified (induced) norm of the matrix a. See https://en.wikipedia.org/wiki/Matrix_norm for the definition of an induced norm. Valid

Send message to verifier

RawRowView returns a slice backed by the same array as backing the receiver.

UnmarshalBinary transforms a slice of bytes into a EdDSA signature.

Note: This interface is needed to unify all of the Transpose types. In the mat64 methods, we need to test if the Matrix has been implicitly transposed

VerifyDeal analyzes the deal and returns an error if it's incorrect. If inclusion is true, it also returns an error if it is the second time this stru

makeCopyOf returns a copy of the matrix.

TODO: Implement a better test for Quantile

Deals returns all the deals that must be broadcasted to all participants. The deal corresponding to this DKG is already added to this DKG and is ommit

Deals returns all the deals that must be broadcasted to all participants. The deal corresponding to this DKG is already added to this DKG and is ommit

Evaluate returns the output of H(f_k(m)) and its proof.

FromCholesky reconstructs the original positive definite matrix given its Cholesky decomposition.

Kind returns the C kind of the parameter.

MulXi sets e=ξa where ξ=i+3 and then returns e.

SetVec sets the element at row i to the value val. It panics if i is out of bounds.

Sub subtracts the matrix b from a, placing the result in the receiver. Sub will panic if the two matrices do not have the same shape.

SymRankOne performs a symetric rank-one update to the matrix a and stores the result in the receiver s = a + alpha * x * x'

asGeneral returns a blas64.General representation of the receiver with the same underlying data.

checkValidIncGuard will test for violated guards, generated by guardIncVector

guardIncVector copies the source vector (vec) into a new incremented slice with guards. End guards will be length gdLen. Internal and end guards will

useAs gets a slice of size n. If len(x) == n, x is returned, if len(x) == 0 then a slice is returned of length n.

reuseAs resizes an empty matrix to a n×n matrix, or checks that a non-empty matrix is n×n.

Miner broadcasts the block of this iteration to all peers

At returns the element at row i, column j.

Covariance returns the weighted covariance between the samples of x and y. sum_i {w_i (x_i - meanX) * (y_i - meanY)} / (sum_j {w_j} - 1) The lengths o

Dlaln2 solves a linear equation or a system of 2 linear equations of the form (ca A - w D) X = scale B, if trans == false, (ca A^T - w D) X = scale

Dormbr applies a multiplicative update to the matrix C based on a decomposition computed by Dgebrd. Dormbr overwrites the m×n matrix C with Q * C i

LogDet returns the log of the determinant and the sign of the determinant for the matrix that has been factorized. Numerical stability in product and

MarshalBinary returns the binary representations of a Deal. The encryption of a deal operates on this binary representation.

MetropolisHastings generates len(batch) samples using the Metropolis Hastings algorithm (http://en.wikipedia.org/wiki/Metropolis%E2%80%93Hastings_algo

Nearest returns the index of the element in s whose value is nearest to v. If several such elements exist, the lowest index is returned. Panics if le

Or predicate states that the prover knows at least one of the sub-predicates to be true, but the proof does not reveal any information about which.

Prob computes the value of the probability density function at x.