Constants§
Functions§
- build_
wrap_ circuit_ v2 - A function to build the circuit for the final wrap layer using the architecture of core-v2.
- const_
shard_ proof - A utility function to convert a
ShardProof
into aShardProofVariable
. Should be replaced by more refined witness generation. - const_
two_ adic_ pcs_ proof