Refactors of CodingTheory/Basic plus NN stuff

ArkLib.lean

@@ -35,9 +35,17 @@ import ArkLib.Data.FieldTheory.NonBinaryField.Goldilocks
 import ArkLib.Data.FieldTheory.NonBinaryField.Mersenne
 import ArkLib.Data.FieldTheory.NonBinaryField.Secp256k1
 import ArkLib.Data.Fin.Basic
+import ArkLib.Data.Fin.Lift
+import ArkLib.Data.Fin.Pad
+import ArkLib.Data.Hash.Classes
+import ArkLib.Data.Hash.DomainSep
+import ArkLib.Data.Hash.DuplexSponge
+import ArkLib.Data.Hash.Serde
 import ArkLib.Data.Math.Basic
 import ArkLib.Data.Math.DepCast
 import ArkLib.Data.Math.HList
+import ArkLib.Data.Matrix.Basic
+import ArkLib.Data.Matrix.Sparse
 import ArkLib.Data.MlPoly.Basic
 import ArkLib.Data.MlPoly.Equiv
 import ArkLib.Data.MvPolynomial.Degrees
@@ -56,6 +64,7 @@ import ArkLib.Data.Tree.General
 import ArkLib.Data.UniPoly.Basic
 import ArkLib.Data.UniPoly.BasicOld
 import ArkLib.Data.UniPoly.PolynomialReflection
+import ArkLib.OracleReduction.BCS.Basic
 import ArkLib.OracleReduction.Basic
 import ArkLib.OracleReduction.Cast
 import ArkLib.OracleReduction.Composition.Parallel.Basic
@@ -64,14 +73,15 @@ import ArkLib.OracleReduction.Composition.Sequential.General
 import ArkLib.OracleReduction.Composition.Sequential.ProtocolSpec
 import ArkLib.OracleReduction.Equiv
 import ArkLib.OracleReduction.Execution
+import ArkLib.OracleReduction.FiatShamir.Basic
+import ArkLib.OracleReduction.FiatShamir.DuplexSponge.State
 import ArkLib.OracleReduction.LiftContext.Lens
 import ArkLib.OracleReduction.LiftContext.OracleReduction
 import ArkLib.OracleReduction.LiftContext.Reduction
 import ArkLib.OracleReduction.OracleInterface
 import ArkLib.OracleReduction.Prelude
+import ArkLib.OracleReduction.ProtocolSpec
 import ArkLib.OracleReduction.Security.Basic
-import ArkLib.OracleReduction.Transform.BCS
-import ArkLib.OracleReduction.Transform.FiatShamir
 import ArkLib.OracleReduction.VectorIOR
 import ArkLib.ProofSystem.Component.CheckClaim
 import ArkLib.ProofSystem.Component.DoNothing