Documentation ¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
View Source
var EventIdSwap = sdk.ParseEventID( hexutil.MustDecode("0xc42079f94a6350d7e6235f29174924f928cc2ac818eb64fed8004e115fbcca67"))
View Source
var EventIdTransfer = sdk.ParseEventID( hexutil.MustDecode("0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef"))
View Source
var RouterAddress = sdk.ConstUint248( common.HexToAddress("0xEf1c6E67703c7BD7107eed8303Fbe6EC2554BF6B"))
View Source
var Salt = sdk.ConstFromBigEndianBytes( hexutil.MustDecode("0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef"))
View Source
var UsdcAddress = sdk.ConstUint248( common.HexToAddress("0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48"))
View Source
var UsdcPoolAddress = sdk.ConstUint248( common.HexToAddress("0x88e6a0c2ddd26feeb64f039a2c41296fcb3f5640"))
Functions ¶
This section is empty.
Types ¶
type AppCircuit ¶
type AppCircuit struct { // You can define your own custom circuit inputs here, but note that they cannot // have the `gnark:",public"` tag. UserAddr sdk.Uint248 }
AppCircuit is a developer-defined circuit that performs checks and data analysis over the input Receipt. The proof of this circuit is to be verified in Brevis in conjunction with various data validity checks. A final proof is then submitted on-chain and expose the output to the developer's contract. The Brevis side ensures that all receipts
func (*AppCircuit) Allocate ¶
func (c *AppCircuit) Allocate() (maxReceipts, maxSlots, maxTransactions int)
func (*AppCircuit) Define ¶
func (c *AppCircuit) Define(api *sdk.CircuitAPI, in sdk.DataInput) error
Click to show internal directories.
Click to hide internal directories.