SigmaProtocol/sigma-compiler

Автор	SHA1 Съобщение	Дата
Ian Goldberg	081b5c17f7 typo in comment	преди 8 месеца
Ian Goldberg	c7363c9d40 More documentation for the sigma::combiners and sigma::types modules	преди 8 месеца
Ian Goldberg	ed8a9d43ed A function to evaluate the types of arithmetic expressions on Scalars and Points	преди 8 месеца
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	преди 8 месеца
Ian Goldberg	0675969e9b Parse the AND, OR, THRESH combiners when constructing the StatementTree	преди 8 месеца
Ian Goldberg	9525945aa9 Start making and using the StatementTree	преди 8 месеца
Ian Goldberg	20057964af Unify TaggedScalar and TaggedPoint into an enum TaggedIdent, and add VarDict type	преди 9 месеца
Ian Goldberg	7e85e60df9 Separate TaggedIdent into TaggedScalar and TaggedPoint	преди 9 месеца
Ian Goldberg	cbb021612f Reject invalid tag combinations for TaggedIdent	преди 9 месеца
Ian Goldberg	ab74c8a3e8 clippy	преди 9 месеца
Ian Goldberg	14a9364364 Refactor the syntax parser into a module	преди 9 месеца
Ian Goldberg	266b07ad4f Refactor sigma_compiler_derive into sigma_compiler_derive and sigma_compiler_core	преди 9 месеца
Ian Goldberg	b357d5236f New sigma_compiler! syntax	преди 9 месеца
Ian Goldberg	6ceace1cf3 In prove(), check that all of the statements are actually true	преди 10 месеца
Ian Goldberg	36d4c43189 Make the dumping of the Params to stdout a compile-time feature	преди 10 месеца
Ian Goldberg	29d2894e50 Show the Params on both the prover and verifier side (they should match)	преди 10 месеца
Ian Goldberg	0b197255cd Avoid having to "use super::*" in the generated submodule	преди 10 месеца
Ian Goldberg	c2e879c19e Enough API implementation that other crates can use the sigma_compiler! macro	преди 10 месеца
Ian Goldberg	8dd608dd29 procedural macro subcrate	преди 10 месеца
Ian Goldberg	e5d127b3c3 Empty crate	преди 10 месеца

Commit History Намери

Commit History