Skip to content

Native get_bit_slice_raw: add unit tests, consider making it generic and adopting for circuit construction #1610

@iakovenkos

Description

@iakovenkos

While auditing Pippenger, I discovered that an implementation of bit slicing contained there is way more efficient than going through uint256_t and using its custom method (the latter path adds non-trivial overhead to Pippenger benches). We can probably adopt this method more broadly, say, when computing witness values for bit slices in stdlib primitives.

Metadata

Metadata

Assignees

Labels

auditThings to do during the next audit

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions