ZkFold.Base.Data.Vector

Documentation

newtype Vector (size :: Natural) a

Constructors

Vector

Fields

• toV :: Vector a

Instances

(SpecialSoundProtocol f i p m c d k a, Ring f, HomomorphicCommit m c, RandomOracle (i f) f, RandomOracle c f, KnownNat k) => SpecialSoundProtocol f i p (Vector k (m, c)) (c :: Type) (d :: k1) 1 (FiatShamir (CommitOpen a))

Defined in ZkFold.Base.Protocol.Protostar.FiatShamir

Associated Types

type VerifierOutput f i p (Vector k (m, c)) c d 1 (FiatShamir (CommitOpen a))

Methods

input :: FiatShamir (CommitOpen a) -> i f -> p f -> i f

prover :: FiatShamir (CommitOpen a) -> i f -> p f -> f -> Natural -> Vector k (m, c)

verifier :: FiatShamir (CommitOpen a) -> i f -> Vector 1 (Vector k (m, c)) -> Vector (1 - 1) f -> VerifierOutput f i p (Vector k (m, c)) c d 1 (FiatShamir (CommitOpen a))

Scale b a => Scale b (Vector n a)

Defined in ZkFold.Base.Data.Vector

Methods

scale :: b -> Vector n a -> Vector n a

(BoolType b, Eq b x) => Eq b (Vector n x)

Defined in ZkFold.Symbolic.Data.Eq

Methods

(==) :: Vector n x -> Vector n x -> b

(/=) :: Vector n x -> Vector n x -> b

KnownNat size => Arbitrary1 (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

liftArbitrary :: Gen a -> Gen (Vector size a)

liftShrink :: (a -> [a]) -> Vector size a -> [Vector size a]

KnownNat size => Representable (Vector size)

Defined in ZkFold.Base.Data.Vector

Associated Types

type Rep (Vector size)

Methods

tabulate :: (Rep (Vector size) -> a) -> Vector size a

index :: Vector size a -> Rep (Vector size) -> a

Foldable (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

fold :: Monoid m => Vector size m -> m

foldMap :: Monoid m => (a -> m) -> Vector size a -> m

foldMap' :: Monoid m => (a -> m) -> Vector size a -> m

foldr :: (a -> b -> b) -> b -> Vector size a -> b

foldr' :: (a -> b -> b) -> b -> Vector size a -> b

foldl :: (b -> a -> b) -> b -> Vector size a -> b

foldl' :: (b -> a -> b) -> b -> Vector size a -> b

foldr1 :: (a -> a -> a) -> Vector size a -> a

foldl1 :: (a -> a -> a) -> Vector size a -> a

toList :: Vector size a -> [a]

null :: Vector size a -> Bool

length :: Vector size a -> Int

elem :: Eq a => a -> Vector size a -> Bool

maximum :: Ord a => Vector size a -> a

minimum :: Ord a => Vector size a -> a

sum :: Num a => Vector size a -> a

product :: Num a => Vector size a -> a

Show1 (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Vector size a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Vector size a] -> ShowS

Traversable (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

traverse :: Applicative f => (a -> f b) -> Vector size a -> f (Vector size b)

sequenceA :: Applicative f => Vector size (f a) -> f (Vector size a)

mapM :: Monad m => (a -> m b) -> Vector size a -> m (Vector size b)

sequence :: Monad m => Vector size (m a) -> m (Vector size a)

KnownNat size => Applicative (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

pure :: a -> Vector size a

(<*>) :: Vector size (a -> b) -> Vector size a -> Vector size b

liftA2 :: (a -> b -> c) -> Vector size a -> Vector size b -> Vector size c

(*>) :: Vector size a -> Vector size b -> Vector size b

(<*) :: Vector size a -> Vector size b -> Vector size a

Functor (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

fmap :: (a -> b) -> Vector size a -> Vector size b

(<$) :: a -> Vector size b -> Vector size a

KnownNat size => Distributive (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

distribute :: Functor f => f (Vector size a) -> Vector size (f a)

collect :: Functor f => (a -> Vector size b) -> f a -> Vector size (f b)

distributeM :: Monad m => m (Vector size a) -> Vector size (m a)

collectM :: Monad m => (a -> Vector size b) -> m a -> Vector size (m b)

Semialign (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

align :: Vector size a -> Vector size b -> Vector size (These a b)

alignWith :: (These a b -> c) -> Vector size a -> Vector size b -> Vector size c

Unzip (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

unzipWith :: (c -> (a, b)) -> Vector size c -> (Vector size a, Vector size b)

unzip :: Vector size (a, b) -> (Vector size a, Vector size b)

Zip (Vector size)

Defined in ZkFold.Base.Data.Vector

Methods

zip :: Vector size a -> Vector size b -> Vector size (a, b)

zipWith :: (a -> b -> c) -> Vector size a -> Vector size b -> Vector size c

(Arbitrary a, KnownNat size) => Arbitrary (Vector size a)

Defined in ZkFold.Base.Data.Vector

Methods

arbitrary :: Gen (Vector size a)

shrink :: Vector size a -> [Vector size a]

ToJSON a => ToJSON (Vector n a)

Defined in ZkFold.Base.Data.Vector

Methods

toJSON :: Vector n a -> Value

toEncoding :: Vector n a -> Encoding

toJSONList :: [Vector n a] -> Value

toEncodingList :: [Vector n a] -> Encoding

Generic (Vector size a)

Defined in ZkFold.Base.Data.Vector

Associated Types

type Rep (Vector size a) :: Type -> Type

Methods

from :: Vector size a -> Rep (Vector size a) x

to :: Rep (Vector size a) x -> Vector size a

IsList (Vector n a)

Defined in ZkFold.Base.Data.Vector

Associated Types

type Item (Vector n a)

Methods

fromList :: [Item (Vector n a)] -> Vector n a

fromListN :: Int -> [Item (Vector n a)] -> Vector n a

toList :: Vector n a -> [Item (Vector n a)]

Show a => Show (Vector size a)

Defined in ZkFold.Base.Data.Vector

Methods

showsPrec :: Int -> Vector size a -> ShowS

show :: Vector size a -> String

showList :: [Vector size a] -> ShowS

(KnownNat n, Binary a) => Binary (Vector n a)

Defined in ZkFold.Base.Data.Vector

Methods

put :: Vector n a -> Put

get :: Get (Vector n a)

putList :: [Vector n a] -> Put

NFData a => NFData (Vector size a)

Defined in ZkFold.Base.Data.Vector

Methods

rnf :: Vector size a -> ()

Eq a => Eq (Vector size a)

Defined in ZkFold.Base.Data.Vector

Methods

(==) :: Vector size a -> Vector size a -> Bool

(/=) :: Vector size a -> Vector size a -> Bool

Ord a => Ord (Vector size a)

Defined in ZkFold.Base.Data.Vector

Methods

compare :: Vector size a -> Vector size a -> Ordering

(<) :: Vector size a -> Vector size a -> Bool

(<=) :: Vector size a -> Vector size a -> Bool

(>) :: Vector size a -> Vector size a -> Bool

(>=) :: Vector size a -> Vector size a -> Bool

max :: Vector size a -> Vector size a -> Vector size a

min :: Vector size a -> Vector size a -> Vector size a

(Random a, KnownNat size) => Random (Vector size a)

Defined in ZkFold.Base.Data.Vector

Methods

randomR :: RandomGen g => (Vector size a, Vector size a) -> g -> (Vector size a, g)

random :: RandomGen g => g -> (Vector size a, g)

randomRs :: RandomGen g => (Vector size a, Vector size a) -> g -> [Vector size a]

randoms :: RandomGen g => g -> [Vector size a]

(AdditiveGroup a, KnownNat n) => AdditiveGroup (Vector n a)

Defined in ZkFold.Base.Data.Vector

Methods

(-) :: Vector n a -> Vector n a -> Vector n a

negate :: Vector n a -> Vector n a

(AdditiveMonoid a, KnownNat n) => AdditiveMonoid (Vector n a)

Defined in ZkFold.Base.Data.Vector

Methods

zero :: Vector n a

AdditiveSemigroup a => AdditiveSemigroup (Vector n a)

Defined in ZkFold.Base.Data.Vector

Methods

(+) :: Vector n a -> Vector n a -> Vector n a

(SymbolicData x, Package (Context x), KnownNat n) => SymbolicData (Vector n x)

Defined in ZkFold.Symbolic.Data.Class

Associated Types

type Context (Vector n x) :: (Type -> Type) -> Type

type Support (Vector n x)

type Layout (Vector n x) :: Type -> Type

type Payload (Vector n x) :: Type -> Type

Methods

arithmetize :: Vector n x -> Support (Vector n x) -> Context (Vector n x) (Layout (Vector n x))

payload :: Vector n x -> Support (Vector n x) -> Payload (Vector n x) (WitnessField (Context (Vector n x)))

restore :: Context (Vector n x) ~ c => (Support (Vector n x) -> (c (Layout (Vector n x)), Payload (Vector n x) (WitnessField c))) -> Vector n x

(Symbolic (Context x), KnownNat n, SymbolicInput x) => SymbolicInput (Vector n x)

Defined in ZkFold.Symbolic.Data.Input

Methods

isValid :: Vector n x -> Bool (Context (Vector n x))

(PedersonSetup n c, Scale f c, AdditiveGroup c) => HomomorphicCommit (Vector n f) c

Defined in ZkFold.Base.Protocol.Protostar.Commit

Methods

hcommit :: Vector n f -> c

Substitution (Vector n b) (Zp n) b

Defined in ZkFold.Base.Algebra.Polynomials.Multivariate.Substitution

Methods

subs :: Vector n b -> Zp n -> b

(Arithmetic a, Arbitrary a, Binary a, Binary (Rep p), Arbitrary (Rep i), Binary (Rep i), Ord (Rep i), NFData (Rep i), Representable i, Foldable i, KnownNat l) => Arbitrary (ArithmeticCircuit a p i (Vector l))

Defined in ZkFold.Symbolic.Compiler.ArithmeticCircuit.Instance

Methods

arbitrary :: Gen (ArithmeticCircuit a p i (Vector l))

shrink :: ArithmeticCircuit a p i (Vector l) -> [ArithmeticCircuit a p i (Vector l)]

type VerifierOutput f i p (Vector k (m, c)) (c :: Type) (d :: k1) 1 (FiatShamir (CommitOpen a))

Defined in ZkFold.Base.Protocol.Protostar.FiatShamir

type VerifierOutput f i p (Vector k (m, c)) (c :: Type) (d :: k1) 1 (FiatShamir (CommitOpen a)) = VerifierOutput f i p (m, c) c d k (CommitOpen a)

type Rep (Vector size)

Defined in ZkFold.Base.Data.Vector

type Rep (Vector size) = Zp size

type Rep (Vector size a)

Defined in ZkFold.Base.Data.Vector

type Rep (Vector size a) = D1 ('MetaData "Vector" "ZkFold.Base.Data.Vector" "symbolic-base-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Vector" 'PrefixI 'True) (S1 ('MetaSel ('Just "toV") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector a))))

type Item (Vector n a)

Defined in ZkFold.Base.Data.Vector

type Item (Vector n a) = a

type Context (Vector n x)

Defined in ZkFold.Symbolic.Data.Class

type Context (Vector n x) = Context x

type Layout (Vector n x)

Defined in ZkFold.Symbolic.Data.Class

type Layout (Vector n x) = Vector n :.: Layout x

type Payload (Vector n x)

Defined in ZkFold.Symbolic.Data.Class

type Payload (Vector n x) = Vector n :.: Payload x

type Support (Vector n x)

Defined in ZkFold.Symbolic.Data.Class

type Support (Vector n x) = Support x

knownNat :: forall size n. (KnownNat size, Integral n) => n

vtoVector :: forall size a. KnownNat size => Vector a -> Maybe (Vector size a)

toVector :: forall size a. KnownNat size => [a] -> Maybe (Vector size a)

unsafeToVector :: forall size a. [a] -> Vector size a

unfold :: forall size a b. KnownNat size => (b -> (a, b)) -> b -> Vector size a

fromVector :: Vector size a -> [a]

(!!) :: Vector size a -> Natural -> a

uncons :: Vector size a -> (a, Vector (size - 1) a)

reverse :: Vector size a -> Vector size a

head :: Vector size a -> a

tail :: Vector size a -> Vector (size - 1) a

init :: Vector size a -> Vector (size - 1) a

scanl :: forall size a b. (b -> a -> b) -> b -> Vector size a -> Vector (size + 1) b

singleton :: a -> Vector 1 a

item :: Vector 1 a -> a

mapWithIx :: forall n a b. KnownNat n => (Natural -> a -> b) -> Vector n a -> Vector n b

mapMWithIx :: forall n m a b. (KnownNat n, Monad m) => (Natural -> a -> m b) -> Vector n a -> m (Vector n b)

take :: forall n size a. KnownNat n => Vector size a -> Vector n a

drop :: forall n m a. KnownNat n => Vector (n + m) a -> Vector m a

splitAt :: forall n m a. KnownNat n => Vector (n + m) a -> (Vector n a, Vector m a)

rotate :: forall size a. KnownNat size => Vector size a -> Integer -> Vector size a

shift :: forall size a. KnownNat size => Vector size a -> Integer -> a -> Vector size a

vectorDotProduct :: forall size a. Semiring a => Vector size a -> Vector size a -> a

empty :: Vector 0 a

(.:) :: a -> Vector n a -> Vector (n + 1) a infixr 5

append :: Vector m a -> Vector n a -> Vector (m + n) a

concat :: Vector m (Vector n a) -> Vector (m * n) a

unsafeConcat :: forall m n a. [Vector n a] -> Vector (m * n) a

chunks :: forall m n a. KnownNat n => Vector (m * n) a -> Vector m (Vector n a)