State Synchronization (ความสอดคล้องกันของสถานะ)

State Synchronization แปลตรงๆ จะหมายถึงการที่หลายๆ ปาร์ตี้นั้นมีสำเนาชุดข้อมูลสถานะอยู่ ถ้าหากสถานะนั้นซิงโครไนซ์กันก็คือการที่สำเนาสถานะเหล่านั้นมีความสอดคล้องกัน

ให้ $q_S$แทนคำถามอะไรก็ได้เกี่ยวกับเชน $S$ ตัวอย่างของ$q_S$ก็คือ:

• บล็อกไหนที่มีธุรกรรม tx เกิดขึ้น? (tx คือชื่อธุรกรรม)

• ค่าของเขตข้อมูล (Data Field) มีค่าเท่ากับเท่าใด?

• อะไรคือ Merkel Root Hash ของสถานะทั้งหมดของเชน $S$ ณ บล็อกที่ 314159 (Hash คือฟังก์ชันที่เอาไว้เปลี่ยนค่าที่มีความยาวเท่าไหร่ก็ได้ไปเป็นผลลัพธ์ที่ถูกเข้ารหัสและมีความยาวที่แน่นอน Merkel Root Hash เป็นรูปแบบในการเก็บ Hash ประเภทหนึ่งซึ่งถ้าสนใจอ่านเพิ่มได้ที่นี่เลยครับ)

ให้$a_S$แทนคำตอบที่ถูกต้องของ$q_S$และสมมติว่าผู้ใช้หรือแอปพลิเคชันต้องการให้$a_S$ถูกประกาศบนเชน $D$ เครือข่าย Axelar จะตอบสนองความต้องการดังนี้:

1. ผู้ใช้ประกาศคำขอไปยังบัญชีบริดจ์บัญชีใดบัญชีหนึ่ง (ซึ่งจะถูกเลือกในภายหลังโดย Validator) หรือส่งไปยังบล็อกเชน Axelar โดยตรง

2. ฉันทามติของ Axelar นั้นจะให้ Validator แต่ละคนต้องรันโหนดซอฟแวร์ให้กับเชน $S$ และ $D$ โดยที่ Validator ของ Axelar จะส่งคำขอ API ไปยังโหนดซอฟแวร์ของเชน $S$ ของตัวเอง (คือส่งคำขอเข้าซอฟแวร์ของเชน $S$ บนโหนดของตัวเองเลย) เพื่อรับคำตอบ $a_S$มารายงานต่อเชน Axelar

3. เมื่อค่าถ่วงน้ำหนักของเหล่า Validator ที่ตอบคำถามเหมือนกัน ณ รอบที่ $R$ มีค่ามากกว่า $F$ เครือข่าย Axelar จะบอกให้ Validator ทำการเซ็น $a_S$

4. Validator จะทำการเซ็น $a_S$ โดยใช้การเข้ารหัสแบบ Threshold โดยที่ลายเซ็นนี้จะถูกบันทึกลงไปในบล็อกที่ $R+11$

5. ทุกคนสามารถเก็บค่า $a_S$ ที่ถูกเซ็นแล้วจากบล็อกที่ $R+11$ และประกาศไปยังเชน $D$

6. คำขอเสร็จสมบูรณ์ แอปพลิเคชันใดๆ บนเชน $D$ อาจจะใช้ค่า $a_S$ ที่ถูกเซ็นแล้ว ส่งคำขอไปยัง $D_{Axelar}$ เพื่อขอ $PK_{Axelar}$ อันล่าสุด และยืนยันว่าลายเซ็นของ $a_S$ นั้นสอดคล้องกับ $PK_{Axelar}$ จากนั้น Validator จะประกาศ $a_S$ ไปยังบัญชีบริดจ์บนเชน $D$ ซึ่งแอปพลิเคชันสามารถมาดึงข้อมูลไปใช้ได้