Skip to content

Optimize public inputs extraction in bellpepper R1CS#71

Open
MozirDmitriy wants to merge 1 commit intomicrosoft:mainfrom
MozirDmitriy:main
Open

Optimize public inputs extraction in bellpepper R1CS#71
MozirDmitriy wants to merge 1 commit intomicrosoft:mainfrom
MozirDmitriy:main

Commits

Commits on Sep 3, 2025