Synthesis là một nhóm các nhóm làm việc trên nhiều sáng kiến và kiểm toán, nghiên cứu mật mã cơ bản, phát triển StarkNet và giao thức cốt lõi.
Nhóm xác minh chính thức chịu trách nhiệm về kỹ thuật và xác minh của hệ Ethereum và StarkNet. Nhóm phát triển các thông số kỹ thuật chuẩn cho Cairo, Yul, EVM bytecode và Solidity in Lean. Ngoài ra, trách nhiệm bao gồm xác minh các thuộc tính tồn tại của các giao thức đồng thuận phân tán với TLA+, phát triển xác minh được hỗ trợ bởi SMT và công cụ phân tích tĩnh cho Solidity và Cairo, đồng thời xác minh thuộc tính bảo mật lớp ứng dụng.
Nhóm nghiên cứu mật mã đang phát triển nguyên tắc mật mã cho hệ Ethereum, chẳng hạn như SNARK kích thước không đổi, xáo trộn đối số và giao thức bầu lãnh đạo.
Nghiên cứu giao thức tập trung vào các sáng kiến như trừu tượng hóa tài khoản và cây Verkle.
Nhóm phát triển sản phẩm L2 phát triển trình khám phá cho StarkNet, trình vận chuyển Warp, đưa AAVE v3 lên StarkNet
—————————————————
👉 Theo dõi và thảo luận tại FXCE Ventures
Group Chat | Research Hub | FXCE Spotlight | Tổng hợp Airdrop | Pool Coin
