nim-dagger

Commit Graph

Author	SHA1	Message	Date
Giuliano Mega	fbce240e3d	Fixes prover behavior with singleton proof trees (#859 ) * add logs and test * add Merkle proof checks * factor out Circom input normalization, fix proof input serialization * add test and update existing ones * update circuit assets * add back trace message * switch contracts to fix branch * update codex-contracts-eth to latest * do not expose prove with prenormalized inputs	2024-07-18 13:25:06 +00:00
Dmitriy Ryajov	e23159b065	wire in circom backend (#698 ) * wire in circom backend * should contain leafs * adding circom compad and circuits deps * update windows build * fix windows build * improve test names * move proving defaults to codextypes * remove unnedded inmports and move defaults to codextypes * capture error code on backend failure	2024-02-09 21:40:30 +00:00

Author

SHA1

Message

Date

Giuliano Mega

fbce240e3d

Fixes prover behavior with singleton proof trees (#859 )

* add logs and test

* add Merkle proof checks

* factor out Circom input normalization, fix proof input serialization

* add test and update existing ones

* update circuit assets

* add back trace message

* switch contracts to fix branch

* update codex-contracts-eth to latest

* do not expose prove with prenormalized inputs

2024-07-18 13:25:06 +00:00

Dmitriy Ryajov

e23159b065

wire in circom backend (#698 )

* wire in circom backend

* should contain leafs

* adding circom compad and circuits deps

* update windows build

* fix windows build

* improve test names

* move proving defaults to codextypes

* remove unnedded inmports and move defaults to codextypes

* capture error code on backend failure

2024-02-09 21:40:30 +00:00

2 Commits