Giters
Consensys
/
corset
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
10
Issues:
162
Forks:
12
Consensys/corset Issues
Inefficient Register Allocation
Updated
3 months ago
Comments count
2
Duplicate Binarity Constraints
Updated
3 months ago
Comments count
1
`Option::unwrap()` crash for `byte@prove` in Perspective
Updated
3 months ago
Comments count
1
Incorrect Serialisation of `ColumnRef` for `json-bin`
Closed
3 months ago
Problem with `json-bin` feature
Closed
3 months ago
bug: exp module perspective mismatch
Closed
3 months ago
Comments count
2
Refactor `byte@prove` to use Range Constraints
Closed
3 months ago
Loading filters into corset inspect
Updated
3 months ago
Print perspective (shorthand) in corset output
Updated
3 months ago
Comments count
1
FR: give more context (perspective) in corset check errors output
Updated
3 months ago
Comments count
1
Unused Declaration for `:array` Column
Updated
3 months ago
Comments count
2
Bug with Expansion of `Norm(e)` Expressions
Closed
4 months ago
Comments count
9
'Safe' and 'unsafe' trace methods
Updated
3 months ago
Typing `Instrinsic::Mul`
Updated
4 months ago
Comments count
1
Problems with Generated `define.go`
Updated
4 months ago
Duplicate Columns Declarations for Perspectives
Updated
4 months ago
Undefined Column Used in `define.go`
Updated
4 months ago
Invalid `define.go` for complex Guard
Updated
4 months ago
`mul_assign` not implemented
Updated
4 months ago
Comments count
1
feat: make default configuration for trace generation/import the same
Updated
4 months ago
Comments count
2
feat: make `CorsetValidator` follow the default configuration from #168
Closed
4 months ago
feat: scope for functions
Updated
4 months ago
Comments count
14
Invalid Lookups Not Reported
Updated
4 months ago
Comments count
5
bug: nil spilling used in `compute_expression` function
Closed
4 months ago
Comments count
21
Missing Spillage for Lookups / Range Constraints
Updated
4 months ago
Comments count
11
fix: :i8 vs :byte
Closed
4 months ago
Comments count
35
"Full debug" constraints
Updated
4 months ago
Comments count
1
`lt` Trace Size Optimisation
Updated
4 months ago
Understanding the Initial Padding Row
Closed
4 months ago
Comments count
13
Corset `compute` causing `panic`
Closed
4 months ago
Understanding Spillage
Closed
4 months ago
Comments count
9
Revert Spillage Optimisation
Closed
4 months ago
feat(corset): possibility to refer to functions defined within a module in lookup files
Updated
4 months ago
Comments count
4
Understanding Sorting Constraints
Closed
4 months ago
Comments count
7
Optimise Spillage Computation
Updated
4 months ago
Comments count
1
Corset should automatically fill `spilling.toml`
Closed
4 months ago
Comments count
9
Perspective-Aware Permutations
Updated
4 months ago
Incorrect typing of `eq!`
Closed
4 months ago
Comments count
4
Missing Concretization Cases
Updated
4 months ago
Unused Field `Column::shift` ?
Closed
4 months ago
Comments count
1
Problem with Sum in Constraint
Updated
4 months ago
Comments count
9
Missing BigInt package for the java export
Closed
4 months ago
Difference between `:byte` and `:i8`
Closed
5 months ago
Comments count
1
JSON Traces Involving Perspectives
Updated
5 months ago
Comments count
5
Lookup takes register instead of columns
Closed
5 months ago
Comments count
9
Understanding `X :byte@prove` versus `definrange X 256`
Closed
5 months ago
Comments count
20
Account for Padding in Testing Framework
Closed
5 months ago
Comments count
1
Improve Test Performance
Updated
5 months ago
Increase Testing Surface
Updated
5 months ago
Implement `Clone` for `ConstraintSet`
Updated
5 months ago
Previous
Next