Skip to content

Refactors of CodingTheory/Basic plus NN stuff #24

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
katyhr wants to merge 20 commits into
base: public/main
Choose a base branch
from
Open

Refactors of CodingTheory/Basic plus NN stuff #24

Show file tree
Hide file tree
Changes from 11 commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
204c966
Generalised minDist definition to arbitrary codes. (#65)
Julek Jun 18, 2025
26c11f3
feat: refactor Fiat-Shamir (#68)
quangvdao Jun 18, 2025
47a958a
chore: fix broken decls
quangvdao Jun 18, 2025
fe81e66
refactor Q to Q>=0, fix proofs
Ferinko Jun 19, 2025
0c480ff
relHamming dist proofs
katyhr Jun 19, 2025
f96364f
minor cleanup
Ferinko Jun 19, 2025
6d868ab
more cleanups
katyhr Jun 19, 2025
7a3a8ef
another minor cleanup
katyhr Jun 19, 2025
a3a3d92
fix dist -> minDist in singletonBound
Ferinko Jun 19, 2025
b1c3acc
final minor cleanups
katyhr Jun 19, 2025
6f28a4b
Stir/Whir cleanups (#69)
dpoulami Jun 20, 2025
b2d068b
minor fix
katyhr Jun 20, 2025
feb2679
Stir/Whir Blueprints (#71)
dpoulami Jun 20, 2025
75f0773
feat: Progress on Specification of Spartan (#70)
quangvdao Jun 22, 2025
2f34b26
feat: Define the (slow) Fiat-Shamir transform (#72)
quangvdao Jun 22, 2025
718d5af
light simp API for runWithOracle (#73)
BoltonBailey Jun 22, 2025
a589d2a
feat: API for duplex sponge, following `spongefish` (#74)
quangvdao Jun 22, 2025
24ffb8c
feat: update linters, rest of the API for `spongefish` (#75)
quangvdao Jun 22, 2025
9b93211
feat: refactor `DuplexSponge`, change `R<N` condition
quangvdao Jun 27, 2025
26c47c0
Merge branch 'main' into FerinkoKaty/Refactors
katyhr Jun 27, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions ArkLib.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,6 +56,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
Expand All @@ -64,14 +65,13 @@ 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.LiftContext.Lens
import ArkLib.OracleReduction.LiftContext.OracleReduction
import ArkLib.OracleReduction.LiftContext.Reduction
import ArkLib.OracleReduction.OracleInterface
import ArkLib.OracleReduction.Prelude
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
Expand Down
Loading