Categorygithub.com/mdehoog/gnark-circom-smtcircuitssmt
package
0.0.0-20240224081844-6972718e0548
Repository: https://github.com/mdehoog/gnark-circom-smt.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
6
Dependents
1
Files
402 SLOC

# Packages

No description provided by the author

# Functions

No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author

# Structs

No description provided by the author
WrapperArbo wraps an arbo.Tree, generating circuit assignments for certain tree operations like Add and Update.

# Interfaces

Wrapper defines methods for wrapping existing SMT implementations, useful for generating circuit assignments for generating proof witnesses.