Startseite Erkunden Hilfe
Anmelden
SigmaProtocol
/
sigma-compiler
3
1
Fork 0
Dateien
Struktur: 147638585a
Branches Tags

Commit Verlauf

Autor SHA1 Nachricht Datum
  Ian Goldberg 147638585a impl Parse for TaggedPoint had gotten separated from the TaggedPoint definition vor 8 Monaten
  Ian Goldberg 42ec7dd989 Start on the transform module vor 8 Monaten
  Ian Goldberg 11006442d2 Derive Eq and PartialEq for StatementTree vor 8 Monaten
  Ian Goldberg f2c9dc79ac AExprType implements Eq, not just PartialEq vor 8 Monaten
  Ian Goldberg 3b24652274 Make rustdoc link directly to the correct method of SigmaCompSpec vor 8 Monaten
  Ian Goldberg e403812ad6 Rename one test for consistency with the others vor 8 Monaten
  Ian Goldberg d7ba2a9350 Enforce the disjunction invariant vor 8 Monaten
  Ian Goldberg 7a84a547cf A little more documentation vor 8 Monaten
  Ian Goldberg aeff156e4c Touch up docs for syntax module vor 8 Monaten
  Ian Goldberg 62f45215e5 A couple more doc touchups in sigma::types vor 8 Monaten
  Ian Goldberg 081b5c17f7 typo in comment vor 8 Monaten
  Ian Goldberg c7363c9d40 More documentation for the sigma::combiners and sigma::types modules vor 8 Monaten
  Ian Goldberg ed8a9d43ed A function to evaluate the types of arithmetic expressions on Scalars and Points vor 8 Monaten
  Ian Goldberg 80b6fa75ac The submodules that would be useful to have in the lower-level `sigma` crate are for now included as submodules of a local `sigma` module vor 8 Monaten
  Ian Goldberg 0675969e9b Parse the AND, OR, THRESH combiners when constructing the StatementTree vor 8 Monaten
  Ian Goldberg 9525945aa9 Start making and using the StatementTree vor 8 Monaten
  Ian Goldberg 20057964af Unify TaggedScalar and TaggedPoint into an enum TaggedIdent, and add VarDict type vor 8 Monaten
  Ian Goldberg 7e85e60df9 Separate TaggedIdent into TaggedScalar and TaggedPoint vor 8 Monaten
  Ian Goldberg cbb021612f Reject invalid tag combinations for TaggedIdent vor 9 Monaten
  Ian Goldberg ab74c8a3e8 clippy vor 9 Monaten
  Ian Goldberg 14a9364364 Refactor the syntax parser into a module vor 9 Monaten
  Ian Goldberg 266b07ad4f Refactor sigma_compiler_derive into sigma_compiler_derive and sigma_compiler_core vor 9 Monaten
  Ian Goldberg b357d5236f New sigma_compiler! syntax vor 9 Monaten
  Ian Goldberg 6ceace1cf3 In prove(), check that all of the statements are actually true vor 10 Monaten
  Ian Goldberg 36d4c43189 Make the dumping of the Params to stdout a compile-time feature vor 10 Monaten
  Ian Goldberg 29d2894e50 Show the Params on both the prover and verifier side (they should match) vor 10 Monaten
  Ian Goldberg 0b197255cd Avoid having to "use super::*" in the generated submodule vor 10 Monaten
  Ian Goldberg c2e879c19e Enough API implementation that other crates can use the sigma_compiler! macro vor 10 Monaten
  Ian Goldberg 8dd608dd29 procedural macro subcrate vor 10 Monaten
  Ian Goldberg e5d127b3c3 Empty crate vor 10 Monaten

Neuer Älter