Refactors of CodingTheory/Basic plus NN stuff#24
Open
katyhr wants to merge 20 commits intopublic/mainfrom
Open
Refactors of CodingTheory/Basic plus NN stuff#24katyhr wants to merge 20 commits intopublic/mainfrom
katyhr wants to merge 20 commits intopublic/mainfrom
Conversation
* refactor BCS & Fiat-Shamir files * update imports * update main theorem of STIR
* fix found during audit * added authors * cleanups * minor * minor * adjusted the index of folding parameter in main thm Co-authored-by: Miguel Quaresma<miguelquaresma97@gmail.com>
* added blueprinting tex for stir * blueprint stir * whir blueprint * stir/whir tex * progress on blueprint * full version of blueprint * full version of blueprint * fix import decls * fix plastex related issued * fix plastex related issued
* re-org R1CS, define padding * starting to overhaul Spartan * refactor `Fin` and `Matrix` files, more progress on Spartan * added skeleton for Spartan * update imports
* refactor instances for ProtocolSpec * refactor protocol spec messages & challenges * define (slow) Fiat-Shamir transform * update import * add Fiat-Shamir to blueprint
* update lean_decls * define API for `DuplexSponge` * update import * add description for unimplemented instance
…M#75) * update linter options to match mathlib * init new files * update imports * update new docstring lint * flesh out serde and codec * initial translation of domain separators * update state for duplex sponge prover & verifier * update import * fix new linter errors * name change for FS state
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
6 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.