10000 Doublecheck Poseidon2 Sponge constraints · Issue #1622 · 0xmozak/mozak-vm · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Doublecheck Poseidon2 Sponge constraints #1622
New issue
New issue
Open
Open
Doublecheck Poseidon2 Sponge constraints#1622
Assignees
sai-deng
@matthiasgoergens

Description

@matthiasgoergens
matthiasgoergens
opened on Apr 25, 2024

Assuming both is_init_permute and is_permute are binary, this is equivalent to just (1 -vars.ops.is_init_permute) * vars.ops.is_permute.

I suspect something is wrong.

Originally posted by @matthiasgoergens in #1616 (comment)

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions
    0