algorandfoundation / specs Goto Github PK

At Readme.html file the date is incorrect.
it is showing December 6, 2018 while it should be May 19, 2023

https://github.com/algorandfoundation/specs/releases/tag/abd3d48

Hi,

The specification (both the overview and the full specification) seems to use special votes such as late votes, redo-votes, and down-votes (esp. for fast recovery step). However, we couldn't find these votes being absorbed into the consensus protocol in any way (except late vote being used to ignore the Vote received).

Can you please shed some light on where these votes are being used in the Algorand consensus protocol? Any reference is appreciated.

Thanks,
Vinod

In the section 5.5 Seed in the abft spec, there is descrition as follows:

The seed is valid if the following verification procedure succeeds:
    1. Let(B,pk)=Record(L,r−δb,I);let q0 =Seed(L,r−1).

It should be :
q0 =Seed(L,r−δs).
not
q0 =Seed(L,r−1)

README.md
View the PDF/HTML from the latest release.

there is not pdf/html

In specs/dev/abft.md:
In section 5.2, (pk, B) is defined
but in section 5.4, (B, pk) is defined

Page 5 of TEAL.pdf

Either pandoc template/flags or the way we're formatting it in the markdown should be updated to make this legible

When grouping transactions, if the balance of an account goes below its minimum balance during a transaction within the group then the whole transaction group fails.

Proposal is to allow the minimum balance check to be only performed at the end of the transaction group. This would mean that you have the freedom to structure the order of your transactions in a more clear and concise way.

For example, I may want to have code which acceps the following group txn with an optional fee transfer:

• call to app
• txn from escrow (which raises it min balance eg opt into asset)
• fee of escrow (optional)

The new proposal allows the user to pay for the increase in min balance of the escrow, if the txn from escrow causes its balance to fall below its min balance. You can write concise code since the call to app and txn from escrow is always in posistions 0 and 1 in the group.