Sync upstream: optimized v3 circuit + gnark security upgrade - #6

Closed

stackchain wants to merge 26 commits into

mainfrom

sync/upstream-main-191ca93

Commits on Aug 4, 2026

Optimize Plutus V3 contracts for mainnet builtins
colll78
committed
8f4c618
Merge pull request #36 from Anastasia-Labs/codex/plutus-mainnet-builtins-optimized-scripts
colll78
authored
649ba14
fix(contracts): compact one-shot params policy
colll78
committed
394af88
Merge pull request #37 from Anastasia-Labs/codex/compact-one-shot-params-policy
colll78
authored
4512c4a
fix(web): use provider eval for PV11 deploy
colll78
committed
d996604
fix(web): use Scalus for local UPLC evaluation
colll78
committed
ffb922b
Merge pull request #38 from Anastasia-Labs/codex/use-provider-eval-for-preprod-deploy
colll78
authored
d70bb7e
chore: bootstrap optimized reference cutover
colll78
committed
e871dcf
chore(web): activate optimized Preprod scripts
colll78
committed
ca99c37
Merge pull request #39 from Anastasia-Labs/codex/deploy-optimized-preprod-references
colll78
authored
db7884d

Commits on Aug 29, 2026

security: upgrade gnark and retire unsafe proof keys
colll78
committed
2bf497e
security: verify fixed proof artifacts end to end
colll78
committed
76d9a92
docs: record fixed prover verification evidence
colll78
committed
085c706
perf(circuit): optimize single-limb range checks
colll78
committed
1a87e98
perf(circuit): reuse SHA majority xor across rounds
colll78
committed
db3c7b1
perf(circuit): fold constant sigma decomposition
colll78
committed
cfae336
perf(circuit): use seven-bit Ed25519 windows
colll78
committed
500a225
perf: constrain bounded SHA byte packing
colll78
committed
9818e28
test: refresh upgraded verifier coherence vectors
colll78
committed
191ca93
test: bind contract fixtures to optimized v3 keys
colll78
committed
99e88b0
Optimize destination circuit and refresh v3 verifier fixtures (#48)
colll78
authored
693b6ad
chore: initialize optimized circuit cutover PR
colll78
committed
fcf2a16
release optimized destination circuit to preprod
colll78
committed
9800a1d
fix browser asset host for optimized release
colll78
committed
f9418eb
Merge pull request #50 from Anastasia-Labs/codex/optimized-circuit-preprod-cutover-tested
colll78
authored
3b37efe

Commits on Aug 31, 2026

Merge Anastasia-Labs/proof-tool main (191ca93 optimized v3 circuit, gnark upgrade) into Emurgo fork
stackchain
committed
2d55682