Gửi bài viết tới BigCoin

Quá trình quyết định mức phí phát sinh giao dịch trong CREDITS

Đăng bởi:   - 26/05/2018 - 376 lượt xem
Chia sẻ
 

Quá trình quyết định mức phí phát sinh giao dịch

Việc quyết định mức phí phát sinh giao dịch và thủ tục chiết xuất tập con các giao dịch hợp lệ từ một tập hợp giao dịch cho trước.

Nền tảng CREDITS có đưa ra một mức phí giao dịch. Điều này có nghĩa là một lượng CS nhất định, các token sử dụng bên trong hệ thống có thể áp dụng đối với các giao dịch tài chính, phí được trích từ tài khoản gửi tại thời điểm giao dịch được sinh ra. Lượng phí phụ thuộc vào số lượng giao dịch được dồn vào xử lý trong 1 vòng (1 vòng là quá trình 1 block sinh ra, một lượng giao dịch nhất định được xử lý), và cũng phụ thuộc vào kích thước vật lý của các giao dịch đó. Mức phí cho mỗi cấu phần được giới hạn ở các giá trị tối thiểu và tối đa. Nói cách khác thì thậm chí nếu hoạt động giao dịch của tài khoản gửi thực sự cao hơn hay thấp hơn, mức phí có thể phải chi trả bởi tài khoản gửi sẽ không bao giờ vượt qua mức giới hạn tối đa hay tối thiểu. Hãy cùng nhìn nhận kỹ hơn các mối quan hệ phụ thuộc của các cấu phần.

Mối quan hệ về mức phí giao dịch qua mỗi vòng

Theo bitcoin vietnam Lượng phí bị ảnh hưởng mở cả số lượng giao dịch trong 1 vòng và cả số lượng các node tin cậy (trusted node). Cả 2 giá trị trên đều là giá trị biến đổi nhưng chúng bị giới hạn bởi mức giới hạn tối thiểu và tối đa. Ví dụ, mỗi vòng có ít nhất một giao dịch. Số lượng giao dịch tối đa trong một vòng là 65,535. Số lượng trung bình đề cử sẽ được thiết lập tương đương là 10,000 giao dịch. Số lượng các node cũng không xác định. Mỗi vòng sẽ yêu cầu tối thiểu là 3 node và tối đa là 101.

Mối quan hệ giữa mức phí và số lượng giao dịch mỗi vòng

Cứ càng nhiều giao dịch tham gia vào 1 vòng, thì mức phí lại giảm đi.

Cấu thành giá được biểu thị bằng một hàm số xác định theo từng khoảng, số lượng giao dịch được biểu thị bằng hoành độ và giá giao dịch mỗi vòng được thể hiện trên tung độ. Khi kết hợp các điểm hoành độ và tung độ sẽ cho ra một biểu đồ cấu thành giá. Dưới đây là một ví dụ với 4 điểm cố định: 1. (1, P1), 2 (n2, P2), 3. (n3, P3), 4. (65,536, P4).

Giả sử là chúng ta có một tập hợp Q các giá trị cho trước số lượng các giao dịch với giá trị giao dịch đã biết trong phân khúc này, công thức tính là {ni, ni}qi=1, phân khúc của hàm số theo khoảng sẽ là P=ki. n+bi trong khoảng [ni, ni+1] là khoảng số lượng giao dịch, phân khúc này được xác định bằng hệ thống các phương trình.

Giải được hệ thống này sẽ xác định được thành tố liên quan cho tất cả các phân khúc q-1.

Số lượng trusted node trong 1 vòng và ảnh hưởng của nó lên lượng phí

Số lượng trusted node trong 1 vòng càng cao thì mức phí càng cao.

Giá giao dịch sẽ tăng lên theo tỷ lệ với số lượng trusted node trong một vòng theo một hằng số quy chuẩn nhất định về tỷ lệ, nó cũng tăng theo cấp độ phương trình bậc hai với số lượng trusted node. Sự phụ thuộc này đến từ thực tế là tất cả các node đều có quyền lợi bình đẳng và thuật toán đồng thuận thì đi liền với việc gửi các tin nhắn với độ phụ thuộc tính bằng tỷ lệ bình phương. Quan hệ kết quả về giá cả 1 một vòng là Pм, M là số trusted node được tính toán dựa trên công thức Pм=α⋅М+β⋅М2.

Sự phụ thuộc về phí giao dịch với hoạt động giao dịch của tài khoản gửi

Số lượng giao dịch sinh ra trên tài khoản gửi càng lớn, thì mức phí càng cao.

Trong trường hợp này, giá trị đối thiểu và tối đa cũng được áp dụng vào. Giới hạn dưới được thiết lập là 0 TPS (giao dịch trên giây), giới hạn trên là 1,310,720 giao dịch trên giây. Giá giao dịch thiết lập trên nguyên tắc tương tự như nguyên tắc phụ thuộc vòng giao dịch. Cặp tham số có một vai trò quan trọng, tổng số lương giao dịch mỗi giây cho một tài khoản gửi và điểm giao dịch cho hoạt động giao dịch cho trước của tk gửi. Nếu số lượng các giao dịch đi ra mà tăng lên, thì phí cũng tăng lên, như được thể hiện dưới biểu đồ.

Quy trình chiết xuất tập con các giao dịch hợp lệ từ số giao dịch cho trước.

Một tập con các giao dịch hợp lệ được xác định dựa theo thuật toán D. Serdyuk.

Hãy giả sử là tài khoản gửi A có số dư là 10. Trong vòng tiếp theo, tk A tham gia vào 4 giao dịch trong giới hạn khả năng gửi và 2 giao dịch trong giới hạn khả năng nhận. Tất cả những giao dịch này đều nằm trong cùng một vòng.

Theo như kết quả ghi chép giao dịch, số dư của A là:

(số dư hiện tại) – (tổng phí các giao dịch đã gửi) + (tổng phí các giao dịch đã nhận): 10–(9+10+11+15)+(7+8+12)=10–45+27=-8

Tài khoản gửi A, vì một lý do nào đó không biết trước, phát sinh thêm 1 giao dịch nữa, nếu chúng ta xóa giao dịch đã được hiện lên trong con số màu xanh đậm bên dưới khỏi bảng trên, sau đó số dư của A sẽ là số dương. Tuy nhiên, điều này sẽ kéo theo việc chúng ta lại phải tính toán lại từ đầu số dư tài khoản của B và tất cả những người tham gia khác cũng sẽ bị ảnh hưởng theo.

Kết luận

Như các bạn thấy thì nguyên tắc thiết lập mức phí trên đây được trình bày rất minh bạch và có một logic rõ ràng đằng sau, với việc phí được tính toán dựa trên cơ chế bên trên. Điều đó đã nói lên rằng việc tuân thủ các mức độ tham gia hợp lí sẽ được đảm bảo bằng các giới hạn ảnh hưởng đến lượng phí. Nền tảng này cho phép các giao dịch hợp lệ tránh được khả năng vướng lỗi từ giai đoạn ban đầu. Để có thêm những mô tả chi tiết hơn về mô hình toán học đằng sau quá trình một lượng phí giao dịch phát sinh cũng như quy trình chiết xuất tập con các giao dịch hợp lệ, các bạn có thể xem qua Github.

https://github.com/orgs/CREDITSCOM

 Bạn đang xem: Quá trình quyết định mức phí phát sinh giao dịch Tại chuyên mục: Phân Tích

Biên soạn: Bigcoinvietnam

Chia sẻ  
  
  
  
100% Rating
Điểm: 5 / 5
2 Bình chọn

Tôi là một người đam mê công nghệ, theo chủ nghĩa vị lai, và là một thành viên tích cực của core team Bigcoinvietnam.

CertiK là gì? - An ninh mạng công nghệ Blockchain


1. Certik là gì?

CertiK là công ty khởi nghiệp đầu tiên về an ninh mạng sử dụng công nghệ Blockchain được thành lập bởi các giáo sư chuyên về khoa học máy tính tại trường đại học Yale và Columbia. Bằng cách áp dụng công nghệ Kiểm Định Hình Thức (Formal Verification) cho các giao thức hợp đồng thông minh và Blockchain, CertiK đã và đang bảo vệ cho hơn 1,2 tỉ đô la Mỹ tài sản, bao gồm rất nhiều các dự án Blockchain hàng đầu trên thế giới.

2. Công nghệ lõi của CertiK

Kiểm định hình thức (Formal Verification) – kiểm chứng các chương trình quan trọng bằng phương pháp toán học

Quét tự động (AutoScan) – công nghệ xác minh và sửa chữa các lỗ hổng an ninh

DeepSEA-Blockchain – ngôn ngữ lập trình cho các hợp đồng thông minh với tính năng kiểm định hình thức

3. Hệ sinh thái phần mềm CertiK

Hệ sinh thái của CertiK gồm:

Blockchain của CertiK

CertiK đang xây dựng một Blockchain sử dụng “phần mềm CertiK” (Certik software) riêng, dự kiến sẽ ra mắt testnet vào cuối tháng 6/2019. Blockchain sử dụng phần mềm CertiK sẽ áp dụng thuật toán đồng thuận DPOS và được trang bị với máy ảo đã qua kiểm định (Certified Virtual Machine) sẽ có khả năng linh hoạt cao về thiết kế và khả năng ứng dụng trong khi duy trì độ tin cậy và tính an toàn cao.

Nền tảng xác thực của CertiK

Phần mềm CertiK cung cấp các công cụ kiểm định để phát triển bằng chứng toán học của hợp đồng thông minh và áp dụng vào nền tảng Blockchain. Với các công cụ được chứng nhận và báo cáo trong thời gian thực của CertiK, các nhà phát triển có thể sửa lỗi tiềm ẩn trong hệ thống ngay từ khi bắt đầu.

Mô hình coin kép

Sự khác biệt giữa CertiK và các dự án khác là Blockchain của CertiK sẽ sử dụng mô hình coin kép. Đầu tiên, CTK (đồng tiền chính của hệ thống) sẽ được đưa ra thị trường. CKT - token quản trị, chỉ có giá trị sử dụng trong việc xác thực và đạt được sự đồng thuận trong giao dịch.

Sau đó, CKG - gas sử dụng(utility gas), sẽ được tạo ra để trao thưởng cho những node xác thực. CGK có giá trị sử dụng để tham gia chương trình Bounty hunter, đăng ký tham gia hệ thống và nhiều lợi ích khác sẽ được tiếp tục bổ sung.

Image result for team certik background

4. Tính năng hiện tại

Kiểm chứng độ bảo mật (Security audits)

Tìm ra và loại bỏ các lỗ hổng an ninh bằng các kỹ thuật an ninh mạng chính xác. CertiK sẽ kiểm tra nguồn code, tìm kiếm lỗ hổng an ninh có thể có, gợi ý sửa và đưa ra kết luận tổng hợp.

Kiểm tra khả năng thâm nhập (Penetration testing)

Kiểm tra hệ thống bằng cách dàn dựng các vụ tấn công có thể xảy ra để kiểm tra và xác định lỗ hổng trong hệ thống và cơ sở IT tầng đáy. Với đội ngũ Hacker mũ trắng (white hat hackers), CertiK sẽ khảo sát, quét và kiểm tra thủ công toàn bộ hệ thống, phân tích rủi ro và đưa ra báo cáo đánh giá chi tiết về an ninh hệ thống bao gồm gợi ý sửa lỗi.

Điều chỉnh nền tảng (Platform Customization)

Bổ sung thêm tính năng và tăng cường an ninh cho các nền tảng khi kết hợp với lõi của cơ chế Formal Verification. CertiK có một đội ngũ chuyên gia để phân tích các nền tảng, từ đó đưa ra mô hình toán học phù hợp với ngôn ngữ của hệ thống để bảo vệ hệ sinh thái blockchain và các DApp.

5. Lợi thế chính của Certik

- Công nghệ Formal Verification toàn diện và có thể điều chỉnh

- Báo cáo Audit minh bạch và chi tiết

- Review code bởi các chuyên gia về an ninh

- Audit trên tất cả loại ngôn ngữ và giao thức chính

- Re-Audit code không giới hạn

- Công nghệ kiểm tra khả năng thâm nhập tân tiến

6. Team

Zhong Shao (đồng sáng lập hiện đang là giáo sư Thomas L.Kempner và trưởng khoa khoa học máy tính tại trường Yale University. Ông tốt nghiệp tiến sĩ ngành công nghệ máy tính trường đại học Princeton. Zhong Shao là một cây cổ thụ trong lĩnh vực nghiên cứu như an ninh mạng, hệ thống vận hành và phần mềm chứng chỉ.

Ronghui Gu (đồng sáng lập và nhà phát triển chính) hiện đang là Assistant Professor tại khoa Khoa học máy tính của trường đại học Columbia. Ông tốt nghiệp tiến sĩ ngành khoa học máy tính tại trường đại học Yale và cử nhân trường Tsinghua University Distinction Dissertation Award trường đại học Yale năm 2016. Ông là một chuyên gia trong lĩnh vực Formal Verification cho phần mềm hệ thống.

Muhan Zuo (CSO - giám đốc chiến lược) từng có nhiều năm kinh nghiệm trong lĩnh vực thiết kế và phát triển các sản phẩm doanh nghiệp SaaS. Trước khi tham gia vào Certik, ông từng làm engineering lead tại Comcast và Full Stack engineer tại Oracle.

Daryl Hok (COO - giám đốc vận hành) từng là head bộ phận phát triển doanh nghiệp tại FiscalNote. Ông cũng từng là Product Manager phụ trách ý tưởng và phát hành các sản phẩm SaaS và phát triển cơ sở hạ tầng dữ liệu cốt lõi. Ông tốt nghiệp bằng kép khoa Kinh tế và Tâm lý học trường đại học Yale.

Ngoài ra, các thành viên khác trong core team đều là các chuyên gia, tiến sĩ về lĩnh vực an ninh mạng, phần mềm, kinh tế học, đến từ các trường đại học hàng đầu như Yale, Columbia, Chicago, Penn, Duke, … và có kinh nghiệm làm việc cho các ông lớn như Google, Oracle, Microsoft, HP, Microsoft, Samsung, …

7. Partners

Đến nay Certik đã có mối quan hệ hợp tác với hơn 30 dự án và quỹ. Những cái tên tiêu biểu có thể kể đến như Bitmain, Binance, Lightspeed, WinG, Matrix, DHVC, iCon, Fenbushi Digital, FBG Capital, NGC, OK Blockchain Capital, Kenetic, Vochain, NEO, ONTology, KOSMOS, QTUM, IOST, ….

Image result for certik logo

8. Token metrics

Ticker: CTK

Token type: ERC20

Total supply (dự tính): 100.000.000

Các thông tin còn lại đang được cập nhật

9. Roadmap chính

Năm 2017: dự án bắt đầu phát triển

Năm 2018: phát triền dịch vụ CertiK contract verification (xác thực hợp đồng CertiK) phiên bản alpha, 1.0, 2.0 và đạt mục tiêu có khoảng 30 đối tác doanh nghiệp và khách hàng

Tháng 6/2019 (dự tính): cho ra mắt Testnet

Tháng 12/2019 (dự tính): cho ra mắt Mainnet 1.0

Tháng 12/ 2020 (dự tính): cho ra mắt Mainnet 2.0 (đã hoàn thiện)

Image result for certik roadmap

10. Contacts

Twitter: https://twitter.com/certikorg

LinkedIn: https://www.linkedin.com/company/11831043/admin/

Telegram: https://t.me/certikorg

Medium: https://medium.com/certik

Website: https://certik.org/

 

Kết luận

Certik là một dự án đang được cộng đồng quan tâm sau khi công bố những phát triển về mặt công nghệ và quan hệ đối tác.

  • Dự án được xây dựng bởi các chuyên gia và giáo sư hàng đầu trong lĩnh vực an ninh mạng và phần mềm chứng chỉ, những công nghệ sẽ được ứng dụng trong hệ thống CertiK nên có khả năng ứng dụng thực tế cao.
  • Dự án đã có sản phẩm cụ thể và đang được áp dụng bởi nhiều dự án có tiếng như OnTology, NEO, Kardia Chain, OKex, Houbi … nên khá tin cậy.
  • CertiK đã chứng minh được sự tiềm năng khi nhận được quỹ đầu tư từ nhiều ông lớn trong lĩnh vực Blockchain như Binance, FBG Capital, Bitmain, ….

Tuy nhiên, dự án chưa tiết lộ bất cứ thông tin nào về IEO hay việc bán token. Đây chính là một chiến thuật của CertiK để thu hút cộng đồng tập chung vào công nghệ và bắt buộc các thành viên phải liên tục theo dõi, cập nhật tình hình. Theo tác giả, Certik là một trong những dự án có khả năng phát triển tốt và tính ứng dụng thực tế cao không chỉ trong lĩnh vực Blockchain. Với những gì dự án đã và đang đạt được, rất đáng để bất cứ ai, không chỉ nhà đầu tư mà những ai hứng thú với công nghệ hay doanh nghiệp muốn ứng dụng Blockchain quan tâm và theo dõi những cập nhật mới nhất từ CertiK.

 

Chia sẻ  
  
  
  
100% Rating
Điểm: 5 / 5
2 Bình chọn

NHẬN FREE VÉ THAM GIA SỰ KIỆN BLOCKCONFEX HỒ CHÍ MINH

"39 TIÊU CHÍ ĐẦU TƯ ICO THÀNH CÔNG và REVIEW ICO HOT hàng tuần"

Bigcoin Việt Nam - Phân tích đầu tư Bitcoin và các dự án công nghê Blockchain