QPQ-AG/sophia
12
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Add Sophia AIC builtins and Auth.tx constructors #992

Open
uwiger wants to merge 4 commits from uw-aci into master
pull from: uw-aci
merge into: :master
Conversation 0 Commits 4 Files Changed 12
+233 -27
uwiger commented 2026-08-23 07:20:42 +09:00
Owner
Copy Link
Copy Source

Expose Chain.spend_currency, Chain.balance_currency, and
Chain.currency_supply, compiling to the new FATE opcodes.
Auth.tx inspection gains AccountCreateTx, MintTx, ExchangeTx,
SpendCurrenciesTx, and BurnTx. Pin gmbytecode to c44313e.

Expose Chain.spend_currency, Chain.balance_currency, and Chain.currency_supply, compiling to the new FATE opcodes. Auth.tx inspection gains AccountCreateTx, MintTx, ExchangeTx, SpendCurrenciesTx, and BurnTx. Pin gmbytecode to c44313e.
uwiger added 3 commits 2026-08-23 07:20:43 +09:00
1st commit: add MLDSA sig verification
Sophia Tests / tests (push) Failing after -4m44s
Details
ed72e393ab
update deps, add mldsa-related byte codes
Sophia Tests / tests (push) Failing after -4m36s
Details
4f6529ed9d
Add Sophia AIC builtins and Auth.tx constructors
Sophia Tests / tests (push) Failing after 48m33s
Details
8a635c2e73 
Expose Chain.spend_currency, Chain.balance_currency, and
Chain.currency_supply, compiling to the new FATE opcodes.
Auth.tx inspection gains AccountCreateTx, MintTx, ExchangeTx,
SpendCurrenciesTx, and BurnTx. Pin gmbytecode to c44313e.
uwiger requested review from dimitar.p.ivanov 2026-08-23 07:20:43 +09:00
uwiger requested review from hans_sv 2026-08-23 07:20:43 +09:00
uwiger requested review from pharpend 2026-08-23 07:20:44 +09:00
uwiger requested review from spivee 2026-08-23 07:20:44 +09:00
uwiger requested review from zxq9 2026-08-23 07:20:45 +09:00
uwiger added 1 commit 2026-08-23 14:26:54 +09:00
Add missing BurnTx type to Auth.tx fcode table
Sophia Tests / tests (push) Failing after 48m33s
Details
80c369b4d0 
init_type_env/0 listed five new Chain.base_tx constructors in
con_env and arities but omitted BurnTx from the variant type,
so compiling switches on Chain.BurnTx crashed in split_vars/2.
Some required checks failed
Sophia Tests / tests (push) Failing after 48m33s
Details
You are not authorized to merge this pull request.
This pull request can be merged automatically.
This branch is out-of-date with the base branch
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin uw-aci:uw-aci
git checkout uw-aci
Sign in to join this conversation.
Reviewers
No Reviewers
dimitar.p.ivanov
hans_sv
pharpend
spivee
zxq9
Labels
Clear labels
WIP
bug
consensus-breaking
dependencies
documentation
duplicate
effort: high
effort: low
effort: medium
effort: trivial
enhancement
good first issue
help wanted
invalid
maintenance
question
task/feature
todo-in-rewrite
wontfix
bug
Something is not working
 duplicate
This issue or pull request already exists
 enhancement
New feature
 help wanted
Need some help
 invalid
Something is wrong
 pig lipstick
Muggle-facing enhancements
 question
More information is needed
 wontfix
This won't be fixed
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
Dagadunn Pickmick apex132 dimitar.p.ivanov flambard (Markus Flambard) gchewy hans_sv pharpend spivee (Jarvis Carroll) thescientress (Cecille de Jesus) uwiger (Ulf Wiger) zxq9 (Craig Everett)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#992