Fully Public Contracts by lydiagarms · Pull Request #463 · EYBlockchain/starlight

turn off error for fully public contracts

lydiagarms

committed

formatting

lydiagarms

committed

chore(setup): remove zk setup when contract is fully public

lydiagarms

committed

chore(contracts): fix contract deployment to support fully public contracts

lydiagarms

committed

chore(orchestration): include common orchestration files for fully public contracts

lydiagarms

committed

fix(solidity-types): allow IdentifierPath and InheritanceSpecifier solidity types to avoid zappify bug

lydiagarms

committed

formatting

lydiagarms

committed

fix(orchestration): skip blocks for fully public contracts - we don't need the logic in orchestration

lydiagarms

committed

chore(contracts) support new expressions

lydiagarms

committed

fix(contracts): semi colons for unary statements

lydiagarms

committed

fix(contracts): mappings in returns in contracts

lydiagarms

committed

fix(contracts): semicolons after internal function calls

lydiagarms

committed

chore(contracts): support conditionals

lydiagarms

committed

chore(contracts): support member access

lydiagarms

committed

fix(contracts): empty strings returned in contracts

lydiagarms

committed

fix(contracts): public booleans should be returned

lydiagarms

committed

fix(contracts): returns for public nested mappings

lydiagarms

committed

fix(contracts): fix tuple expressions

lydiagarms

committed

fix(contracts): address() undefined in contracts

lydiagarms

committed

fix(contracts): space after delete operator

lydiagarms

committed

fix(contracts): replace ERC with ERCShield in contract

lydiagarms

committed

chore(contracts): copy .zol contract into shield contract for fully public contracts

lydiagarms

committed

fix(unsupportedChecks): remove error message for unsupported while loops - these can be supported if fully public and we already have an error for the secret case

lydiagarms

committed

fix(scope): zappify error for fully public contract

lydiagarms

committed

fix(traverse): zappify error due to no declaration for abi when checking if there is an external contract call

lydiagarms

committed

fix(orchestration): include function signatre when a return is a boolean

lydiagarms

committed

fix(contracts): include internal function calls in the contracts if they don't interact with secret

lydiagarms

committed

fix(unsupportedchecks): turn off unsupported pure error for fully public contracts

lydiagarms

committed

fix(orchestration): exit orchestrationInternalFunctionCallVisitor if the function is public

lydiagarms

committed

fix(contracts): error generating contracts AST where the original condition, trueBody and falseBody of an if statement are included instead of the new contract specific ones

lydiagarms

committed

chore(contracts): support conditionals

lydiagarms

committed

fix(contracts): zappify errors during contract compilation for fully public contracts

lydiagarms

committed

fix(orchestration): error due to constructorTx not being created as the db didn't exist

lydiagarms

committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Fully Public Contracts#463

Fully Public Contracts#463
lydiagarms merged 33 commits intomasterfrom
lyd/publicContracts

Commits on Dec 18, 2025

turn off error for fully public contracts

formatting

chore(setup): remove zk setup when contract is fully public

chore(contracts): fix contract deployment to support fully public contracts

chore(orchestration): include common orchestration files for fully public contracts

fix(solidity-types): allow IdentifierPath and InheritanceSpecifier solidity types to avoid zappify bug

formatting

fix(orchestration): skip blocks for fully public contracts - we don't need the logic in orchestration

chore(contracts) support new expressions

fix(contracts): semi colons for unary statements

fix(contracts): mappings in returns in contracts

fix(contracts): semicolons after internal function calls

chore(contracts): support conditionals

chore(contracts): support member access

fix(contracts): empty strings returned in contracts

fix(contracts): public booleans should be returned

fix(contracts): returns for public nested mappings

fix(contracts): fix tuple expressions

fix(contracts): address() undefined in contracts

fix(contracts): space after delete operator

fix(contracts): replace ERC with ERCShield in contract

chore(contracts): copy .zol contract into shield contract for fully public contracts

fix(unsupportedChecks): remove error message for unsupported while loops - these can be supported if fully public and we already have an error for the secret case

fix(scope): zappify error for fully public contract

fix(traverse): zappify error due to no declaration for abi when checking if there is an external contract call

fix(orchestration): include function signatre when a return is a boolean

fix(contracts): include internal function calls in the contracts if they don't interact with secret

fix(unsupportedchecks): turn off unsupported pure error for fully public contracts

fix(orchestration): exit orchestrationInternalFunctionCallVisitor if the function is public

fix(contracts): error generating contracts AST where the original condition, trueBody and falseBody of an if statement are included instead of the new contract specific ones

chore(contracts): support conditionals

fix(contracts): zappify errors during contract compilation for fully public contracts

fix(orchestration): error due to constructorTx not being created as the db didn't exist