Skip to content

18 r1cs - #496

Closed
ETatuzova wants to merge 9 commits into
NilFoundation:masterfrom
ETatuzova:18-r1cs
Closed

18 r1cs#496
ETatuzova wants to merge 9 commits into
NilFoundation:masterfrom
ETatuzova:18-r1cs

Conversation

@ETatuzova

Copy link
Copy Markdown
Contributor

No description provided.

ETatuzova and others added 9 commits July 11, 2025 16:41
* Adjust PR CI #4

* Adjust PR CI #4

* Verify proofs added #4
* Changes in bytecode circuit #8

* Update lookups to bytecode table #8

* Removed copy constraints from bytecode circuit #8
* Clang warning fixed #6

* Added dynamic size vectors and matrices to algebra libs. General determinant and rank computation #17
@ETatuzova ETatuzova closed this Jan 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant