This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Changes [BREAKING] Recursive MASM verification now accepts a claim commitment and authenticates the advice-supplied claim and kernel witness. Rust callers construct request-addressed inputs with RecursiveVerifierInputs::for_request ( #3447 ). Fixes [BREAKING] Fixed collisions between empty input and full rate blocks in domain-separated field-element hashing by marking nonzero-domain empty input in…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.