Công nghệ chuỗi khối đã cách mạng hóa các ngành công nghiệp như tài chính, trò chơi và quản lý chuỗi cung ứng bằng cách cho phép các giao dịch an toàn và phi tập trung.
Tuy nhiên, khả năng mở rộng vẫn là một thách thức đáng kể, dẫn đến phí cao và thời gian giao dịch chậm trên nhiều mạng phổ biến.
Giải quyết vấn đề này đòi hỏi các giải pháp sáng tạo và StarkWare đã nổi lên như một nhân tố chủ chốt trong lĩnh vực này.
Công ty đã phát triển các công nghệ tiên tiến, bao gồm Đối số kiến thức minh bạch có thể mở rộng không có kiến thức (ZK-STARK), StarkEx, StarkNet, StarkNet Token và StarkNet Foundation, tạo điều kiện cho các ứng dụng blockchain an toàn, không cần tin cậy và có thể mở rộng.
Những tiến bộ gần đây trong nghiên cứu của StarkWare và Polygon đã cải thiện rõ rệt STARK.
STARK được coi là giải pháp hàng đầu để mở rộng quy mô Ethereum do hiệu suất vượt trội, yêu cầu bảo mật tối thiểu, thiết lập minh bạch và an toàn cũng như khả năng chống lại các cuộc tấn công lượng tử.
Chúng được áp dụng rộng rãi bởi các nhóm hợp lệ hàng đầu, bao gồm một số nhóm Polygon, RiscZero, ZKsync và Succinct.
Được đồng phát minh bởi Giám đốc điều hành của StarkWare, Eli Ben-Sasson và được StarkWare triển khai sản xuất lần đầu tiên vào mùa hè năm 2020, STARK đã tạo điều kiện thuận lợi cho việc giải quyết hơn 1,2 nghìn tỷ đô la trong các giao dịch trong bốn năm qua.
StarkWare hiện đang chuẩn bị triển khai nghiên cứu này trên một bộ chứng minh mới có tên Stwo, viết tắt của STARK Two, nhằm nâng cao năng lực chứng minh lên gần 1.000 lần.
Ventali Tan, đồng sáng lập Lita, lưu ý:
“Stwo đưa ra một xác nhận khác về tốc độ và sức mạnh của sơ đồ cam kết đa thức FRI, thành phần mật mã chính trong STARK. Đây là sơ đồ tương tự được sử dụng làm cơ sở cho một số hệ thống chứng minh hiệu quả nhất của các thế hệ gần đây, chẳng hạn như Plonky2 và Plonky3 — Valida, cũng như SP1 của Succinct, được xây dựng trên Plonky3.”
Được gọi là bộ chứng minh STARK thế hệ tiếp theo, Stwo, sử dụng các từ máy tính 32-bit tiêu chuẩn để đạt hiệu quả tối ưu trên CPU và GPU thương mại.
Hiệu quả này được hỗ trợ bởi bước đột phá về mật mã gần đây có tên Circle STARK, một nỗ lực hợp tác giữa David Levit và Shahar Papini của StarkWare và Ulrich Haböck của Polygon.
Trong bối cảnh của người chứng minh, khả năng mở rộng đề cập đến việc tạo và xác minh bằng chứng nhanh chóng và hiệu quả về mặt chi phí.
"Minh bạch" khía cạnh của STARK loại bỏ nhu cầu thiết lập đáng tin cậy được yêu cầu bởi nhiều bộ chứng minh dựa trên SNARK.
Stwo, dự kiến sản xuất vào đầu năm 2025, sẽ thay thế cho sản phẩm hiện tại, Stone, viết tắt của STARK One.
Chìa khóa cho tốc độ và hiệu quả của Stwo nằm ở việc sử dụng số nguyên tố Mersenne thứ tám, M31, để tính toán, rất phù hợp với kiến trúc máy tính hiện đại để tăng tốc đáng kể các hoạt động so với Stone.
Số nguyên tố Mersenne là số nguyên tố nhỏ hơn lũy thừa của hai một và được đặt theo tên của tu sĩ người Pháp Marin Mersenne, người đã nghiên cứu chúng vào đầu thế kỷ 17.
Cụ thể, số nguyên tố Mersenne có thể được biểu diễn dưới dạng Mn=2n−1, trong đó n là số nguyên.
Circle STARK, sự hợp tác giữa StarkWare và Polygon Labs, sử dụng phương pháp hình học phức tạp để đẩy nhanh quá trình chứng minh mật mã và trường M31 tăng cường hơn nữa các hoạt động này.
Cùng nhau, chúng cho phép Stwo tạo ra các bằng chứng nhanh chóng và giảm sức mạnh tính toán.
Trên CPU Intel 7 có bốn lõi, Stwo đạt được thông lượng đáng tin cậy là hơn 500.000 băm Poseidon mỗi giây, trong khi chipset M3 Pro 12 lõi thể hiện hơn 600.000 băm mỗi giây.
Thông lượng của Stwo tốt hơn 940 lần so với Stone và 50 lần so với ethStark.
Tuy nhiên, StarkWare nhấn mạnh rằng các tính năng tối ưu hóa như sử dụng GPU và song song hóa đa lõi vẫn chưa được triển khai và chúng sẽ cung cấp các bản cập nhật về hiệu suất trong tương lai.
Theo Ian Miers, nhà khoa học nghiên cứu tại Aleo, trong lĩnh vực mật mã không có kiến thức đang phát triển nhanh chóng, có một điều vẫn chắc chắn:
“Sẽ luôn có một hệ thống chứng minh zk mới hơn, tốt hơn và cuối cùng bạn sẽ cần phải nâng cấp.”
Ngay cả Người sáng lập Ethereum, Vitalik Buterin, cũng tán thành với một câu tục ngữ do ông viết và khen ngợi nhóm về kỹ năng tối ưu hóa của họ.
Mới tháng trước, StarkWare đã tiết lộ dự án đầy tham vọng của mình nhằm mở rộng công nghệ mở rộng quy mô ZK sang Bitcoin, nhằm mục đích mở rộng mạng lưới song song với Ethereum.
Nỗ lực này hứa hẹn sẽ chuyển đổi giao thức Bitcoin và mở ra những cơ hội mới cho các nhà phát triển cũng như người dùng.
Công nghệ STARK của StarkWare tạo điều kiện thuận lợi cho việc xác minh giao dịch mà không tiết lộ thông tin nhạy cảm, từ đó nâng cao quyền riêng tư và bảo mật.
Công ty dự định tích hợp công nghệ này vào Bitcoin thông qua OP_CAT, một đề xuất fork mềm, cho phép xác minh nguyên bản các bằng chứng ZK.
Các trường hợp sử dụng tiềm năng rất rộng rãi, bao gồm việc tạo ra các hợp đồng thông minh an toàn hơn và tạo điều kiện thuận lợi cho các giao dịch riêng tư, hiệu quả.
Đề xuất của StarkWare có thể đánh dấu một thời điểm then chốt trong tiến bộ công nghệ của Bitcoin.
Tuy nhiên, con đường dẫn đến sự chấp nhận rộng rãi còn nhiều thách thức.
Bằng chứng ZK đòi hỏi nhiều tính toán và tốn nhiều tài nguyên.
Bất chấp những bước tiến nhanh chóng đạt được trong lĩnh vực này, những rào cản kỹ thuật vẫn tồn tại, đòi hỏi phải đầu tư đáng kể vào nghiên cứu và phát triển để vượt qua những trở ngại này.
StarkWare Industries, một công ty phần mềm có trụ sở tại Israel, chuyên về các hệ thống chứng minh mật mã để giải quyết các vấn đề về khả năng mở rộng trên mạng Ethereum.
Công ty sử dụng công nghệ STARK độc quyền để tăng cường bảo mật tính toán thông qua các bằng chứng ZK.
Công nghệ ZK-STARK của StarkWare cải thiện đáng kể khả năng mở rộng, tính minh bạch, quyền riêng tư và bảo mật của blockchain, đảm bảo trải nghiệm người dùng liền mạch.
Bằng cách sử dụng các bằng chứng mã hóa tiên tiến và đại số hiện đại, ZK-STARK duy trì tính toàn vẹn và quyền riêng tư của các tính toán trên blockchain.
Chúng cho phép các chuỗi khối giảm tải các tính toán cho một trình xác minh STARK ngoài chuỗi duy nhất và xác minh các tính toán này bằng trình xác minh STARK trên chuỗi.
StarkWare đã giới thiệu công cụ mở rộng quy mô độc quyền đầu tiên của mình, StarkEx, vào tháng 6 năm 2020 và ra mắt StarkNet trên mạng chính Ethereum vào tháng 11 năm 2021.
Tất cả các sản phẩm của StarkWare đều được phát triển bằng ngôn ngữ lập trình Cairo.
Bằng cách phát triển các giải pháp công nghệ độc đáo, StarkWare đặt mục tiêu vượt xa các cải tiến về khả năng mở rộng do Ethereum EIP cung cấp, giải quyết toàn diện các thách thức về khả năng mở rộng vốn có của Ethereum.
StarkWare cung cấp hai giải pháp mở rộng quy mô chính: StarkEx và StarkNet, cả hai đều tận dụng Cairo, ngôn ngữ lập trình độc quyền của họ.
Cairo
Cairo tạo điều kiện cho việc tạo ra các chương trình có thể chứng minh được STARK cho tính toán chung, hỗ trợ nền tảng StarkEx trên Ethereum Mainnet.
Ngôn ngữ này không thể thiếu trong các dự án như dYdX, Sorare, Immutable X, rho.fi, Celer, Apeworx và Canvas.
Hơn nữa, Cairo đóng vai trò là ngôn ngữ hợp đồng thông minh gốc cho StarkNet, một tính năng Tổng hợp hiệu lực phi tập trung được thiết kế để nâng cao khả năng mở rộng và quyền riêng tư của Ethereum.
Bằng cách tối ưu hóa xác minh giao dịch trên blockchain, Cairo và StarkNet đưa ra một giải pháp mạnh mẽ cho những thách thức về khả năng mở rộng của Ethereum.
StarkEX
StarkEx, hoạt động trên Ethereum Mainnet kể từ tháng 6 năm 2020 sau khi thử nghiệm rộng rãi trên cả mạng thử nghiệm Ethereum công khai và riêng tư, minh họa cho sự trưởng thành trong các giải pháp về khả năng mở rộng.
Bằng cách sử dụng công nghệ STARK, StarkEx tạo điều kiện cho các giao dịch tự giám sát, có thể mở rộng, rất quan trọng đối với các ứng dụng DeFi và trò chơi.
Nó cho phép mở rộng quy mô đáng kể, giao dịch nhanh hơn và giảm chi phí với những điều chỉnh tối thiểu đối với cấu hình hiện tại.
StarkEx hỗ trợ ETH, tài sản tổng hợp, mã thông báo ERC-20, ERC-721 và ERC-1155 và có thể mở rộng hỗ trợ cho mã thông báo trên các chuỗi khối tương thích EVM khác.
Luồng StarkEX: cách các giao dịch được thực hiện và xác minh trên StarkEx
Các Bảng điều khiển StarkEX cho thấy khối lượng giao dịch tích lũy đã tăng lên trong tháng qua.
StarkNet
StarkNet, được phát triển bởi StarkWare, hoạt động như một tính năng Tổng hợp hiệu lực (ZK-Rollup) không cần cấp phép và phi tập trung trên mạng lớp hai của Ethereum.
Nó trao quyền cho các ứng dụng phi tập trung (DApps) để đạt được khả năng mở rộng tính toán không giới hạn trong khi vẫn duy trì tính bảo mật và khả năng kết hợp của Ethereum.
Sử dụng STARK Proof, StarkNet cung cấp cho các nhà phát triển một môi trường có thể mở rộng để xây dựng và triển khai DApp trên mạng chính của Ethereum.
Các nhà phát triển có thể sử dụng zkEVM, một ZK-Rollup phản ánh kiến trúc của Ethereum, cho phép họ viết bằng bất kỳ ngôn ngữ tương thích với Máy ảo Ethereum (EVM) nào.
Ngoài ra, Cairo hỗ trợ triển khai logic kinh doanh đa dạng trên mạng.
Cầu Cổng Stark
StarkGate là cầu nối riêng cho StarkNet, tạo điều kiện thuận lợi cho việc chuyển mã thông báo ERC-20 giữa Ethereum và StarkNet.
Bằng cách sử dụng mạng StarkNet Alpha và tính năng nén tính toán dựa trên STARK, nó hỗ trợ các mã thông báo bắc cầu từ Ethereum, Polygon, Optimism, Arbitrum và các mạng khác.
StarkGate cho phép chuyển trực tiếp các tài sản như USDC, DAI, USDT và WBTC sang StarkNet một cách liền mạch.
Mã thông báo StarkNet (STRK)
Hệ sinh thái StarkNet được hỗ trợ bởi mã thông báo gốc STRK, mã thông báo ERC-20 được ra mắt vào tháng 7 năm 2022.
STRK đóng vai trò quan trọng trong việc duy trì và bảo mật mạng StarkNet.
Nó cũng phục vụ các chức năng quản trị, cho phép chủ sở hữu token bỏ phiếu về các quyết định của blockchain và tạo điều kiện thuận lợi cho các giao dịch trong mạng.
StarkWare Industries, được thành lập vào năm 2018 tại Netanya, Israel, được thành lập bởi một nhóm gồm các chuyên gia đa dạng: Uri Kolodny, Eli Ben-Sasson, Michael Riabzev và Alessandro Chiesa.
Sứ mệnh của công ty là giải quyết các thách thức về khả năng mở rộng và nâng cao quyền riêng tư cũng như hiệu quả cho mạng blockchain.
Cách tiếp cận sáng tạo của họ nhằm mục đích cách mạng hóa bối cảnh blockchain, làm cho nó trở nên mạnh mẽ và thân thiện hơn với người dùng.
Eli Ben-Sasson, Đồng sáng lập & CEO tại StarkWare
Ben-Sasson là Đồng sáng lập, Giám đốc điều hành hiện tại và Chủ tịch Hội đồng quản trị tại StarkWare.
Với nền tảng học vấn xuất sắc, ông từng là Phó Giáo sư tại Technion - Viện Công nghệ Israel trong 7 năm, Trợ lý Giáo sư thỉnh giảng tại TTI Chicago và Nhà nghiên cứu sau tiến sĩ tại MIT.
Kể từ khi lấy bằng tiến sĩ. Lấy bằng Tiến sĩ Khoa học Máy tính Lý thuyết tại Đại học Do Thái năm 2001, Ben-Sasson đã tập trung vào các bằng chứng mật mã và ZK về tính toàn vẹn tính toán.
Ông là người đồng phát minh ra các giao thức STARK, FRI và Zerocash và là Nhà khoa học sáng lập của Công ty Zcash.
Trong suốt sự nghiệp của mình, ông đã giữ các vị trí nghiên cứu tại Viện Nghiên cứu Cao cấp tại Princeton, Harvard và MIT.
Gần đây nhất ông giữ chức vụ Giáo sư Khoa học Máy tính tại Technion trước khi đồng sáng lập StarkWare.
Mạng xã hội của anh ấy: X Và LinkedIn
Mặc dù Ben-Sasson có nhiều tiết mục phong phú nhưng tên tuổi của anh không phải là không có gì đáng chê trách.
Người dùng X, Chad Pleb, tuyên bố rằng Ben-Sasson là một kẻ lừa đảo “người đã tạo ra shitcoin Zcash vì Bitcoin không hoạt động”.
Điều thú vị là Alessandro Chiesa, một người đồng sáng lập khác tại StarkWare, cũng có liên quan đến Zcash.
Alessandro Chiesa, Đồng sáng lập tại StarkWare
Chiesa là người đồng sáng lập StarkWare và là giảng viên Khoa học Máy tính tại UC Berkeley.
Nghiên cứu của ông bao gồm lý thuyết phức tạp, mật mã và bảo mật, đặc biệt tập trung vào nền tảng lý thuyết và triển khai thực tế các bằng chứng ZK ngắn gọn.
Chiesa là người đồng phát minh ra giao thức Zerocash và là người đóng góp chính cho libsnark, thư viện nguồn mở hàng đầu cho các bằng chứng ZK ngắn gọn.
Ông cũng là nhà khoa học sáng lập công ty Zcash.
Chiesa có bằng B.Sc. bằng Khoa học Máy tính và Toán học, cũng như bằng Tiến sĩ. về Khoa học Máy tính của MIT.
Mạng xã hội của anh ấy: LinkedIn
Uri Kolodny, Thành viên Hội đồng Quản trị & Giám đốc điều hành đầu tiên tại StarkWare
Kolodny là Giám đốc điều hành mới nhậm chức của StarkWare cho đến tháng 2 năm 2024 và tiếp tục phục vụ trong Hội đồng quản trị của StarkWare.
Khi ra về, ông đã bày tỏ:
“Tôi vẫn hoàn toàn kiệt sức, nhưng tôi sẽ rời bỏ vị trí CEO để đáp ứng nhu cầu sức khỏe của gia đình mình. Công ty và hệ thống công nghệ mà nó đã xây dựng sau sáu năm đã tiến bộ hơn những gì tôi có thể mơ ước. Được dẫn dắt bởi Eli và nhóm gồm hơn 150 gigabrain, tôi tin chắc rằng StarkWare sẽ tiếp tục vượt qua các ranh giới về những gì có thể trong việc mở rộng quy mô Ethereum.”
Anh ấy có bằng B.Sc. về Khoa học Máy tính (Magna cum Laude) từ Đại học Do Thái và bằng MBA của Trường Quản lý MIT Sloan.
Kolodny là một doanh nhân dày dạn kinh nghiệm, từng đồng sáng lập nhiều công ty công nghệ bao gồm OmniGuide, một công ty con của MIT chuyên về sợi quang cho phẫu thuật nội soi và Mondria, tập trung vào các công cụ trực quan hóa dữ liệu lớn.
Sự nghiệp của ông bao gồm các vai trò là Doanh nhân cư trú (EIR) tại hai công ty đầu tư mạo hiểm của Israel và là nhà phân tích tại McKinsey & Công ty.
Mạng xã hội của anh ấy: X Và LinkedIn
Michael Riabzev, Đồng sáng lập tại StarkWare
Riabzev là người đồng sáng lập tại StarkWare, tận dụng chuyên môn của mình về khoa học máy tính và mật mã.
Ông có bằng tiến sĩ. từ Technion - Viện Công nghệ Israel, nơi ông chuyên phát triển các hệ thống thực tế về tính toàn vẹn tính toán trong ZK.
Công việc tiến sĩ của ông đạt đến đỉnh cao là việc tạo ra và triển khai hệ thống zk-STARK.
Riabzev cũng có bằng B.Sc. về Toán học (kiêm Laude) và bằng Thạc sĩ. về Khoa học Máy tính, cả hai đều thuộc Technion.
Nền tảng chuyên môn của anh bao gồm tăng tốc phần cứng, thuật toán mã hóa, GPGPU, SDN và phát triển web, phản ánh nhiều đổi mới công nghệ.
Mạng xã hội của anh ấy: X Và LinkedIn
Mạng xã hội của StarkWare
Công ty tuyên bố rằng:
“Chúng tôi có lịch sử cung cấp mã cấp sản xuất đúng thời hạn.”
Stwo đã sẵn sàng ra mắt trên mạng chính của StarkWare cho các hệ thống StarkNet và StarkEx trước quý 1 năm 2025, tích hợp vào khuôn khổ Chứng minh chia sẻ (SHARP).
Các cột mốc quan trọng sắp tới bao gồm viết các ràng buộc Stwo AIR cho Cairo Assembly (CASM) và triển khai trình xác minh đệ quy ở Cairo.
Nhìn về phía trước, StarkWare dự đoán sự tích hợp sâu của Stwo vào StarkNet vào mùa hè tới, cho phép chứng minh phía khách hàng nhanh chóng cho các ứng dụng bao gồm chơi game, DeFi, v.v.
Sự tiến bộ này hứa hẹn những bước tiến đáng kể về khả năng mở rộng và hiệu quả trong hệ sinh thái blockchain.
Hệ sinh thái đang mở rộng nhanh chóng với các công cụ đổi mới đang định hình lại bối cảnh DeFi.
Bộ sản phẩm của StarkWare, bao gồm Cairo, StarkEx và StarkNet, cung cấp các giải pháp hấp dẫn cho những thách thức về khả năng mở rộng mà các chuỗi khối phải đối mặt.
Sự kết hợp giữa công nghệ ngoài chuỗi và trên chuỗi của công ty đảm bảo người dùng được hưởng lợi từ một số mức phí gas thấp nhất trên Ethereum, cùng với quyền riêng tư và bảo mật được nâng cao.
Hơn nữa, sự ủng hộ của StarkWare bởi các nhà đầu tư nổi tiếng như Paradigm, Sequoia Capital, Coinbase Ventures, ConsenSys, Pantera Capital và Vitalik Buterin là một minh chứng cho tiềm năng của nó.
Coinlive có xu hướng đánh giá cao StarkWare và các sản phẩm của nó nhờ danh tiếng mạnh mẽ, nguồn tài trợ mạnh mẽ và chuyên môn trong lĩnh vực này.
Tuy nhiên, việc sử dụng OP_CAT để mở rộng quy mô Bitcoin là một điểm gây tranh cãi.
Không phải tất cả các thành viên của cộng đồng Bitcoin đều ủng hộ OP_CAT, với một số đề xuất giao ước thay thế thích hợp hơn và những người khác lo lắng về những hậu quả tiềm ẩn không lường trước được khi thực hiện nó.
Ben-Sasson thừa nhận những lo ngại này nhưng nhấn mạnh rằng mục đích của quỹ trị giá 1 triệu USD và nghiên cứu nội bộ là nhằm giải quyết những thách thức này và "đảm bảo mọi thứ được thực hiện an toàn."
Ông giải thích thêm:
"OP_CAT là cách hiệu quả nhất để đạt được điều đó nhưng không phải là cách duy nhất. Chúng tôi hiện đang khám phá các giải pháp thay thế để đạt được quy mô STARK mà không cần dựa vào OP_CAT. Mặc dù tôi không thể đi sâu vào chi tiết vào lúc này, nhưng những lựa chọn thay thế này đầy hứa hẹn và có khả năng đóng vai trò là giải pháp khả thi."
Binance đã làm rõ rằng BFUSD không phải là một đồng tiền ổn định sau khi xuất hiện những lo ngại về lợi suất cao của đồng tiền này và việc so sánh với TerraClassicUSD đã thất bại của Terraform Labs.
KikyoBrock Pierce, người đến Puerto Rico bảy năm trước với hứa hẹn sẽ hồi sinh nền kinh tế địa phương bằng phép thuật tiền điện tử, hiện đang sa lầy vào những rắc rối pháp lý và cuộc chiến với các đối tác kinh doanh.
JinseFinanceJustin Sun phủ nhận sự liên quan đến việc thanh lý thị trường tiền điện tử gần đây trong bối cảnh thị trường sụt giảm đáng kể và biến động tăng cao.
EdmundNhững người dùng đã quen với PUA của dự án đã nhận ra trong sự cố airdrop zkSync: giấc mơ airdrop sắp thức dậy.
JinseFinanceSự kết hợp giữa Web3 và công nghệ AI có thể giải phóng tiềm năng to lớn, cho dù trong các lĩnh vực như tài chính (DeFi), bảo mật, trải nghiệm người dùng, sáng tạo nội dung hay quản trị.
JinseFinanceFTT, FTX khởi động lại “giấc mơ tan vỡ” FTT giảm xuống còn “đồng tiền không khí” Golden Finance, FTX dính sâu vào tranh chấp nợ nần có tin mới.
JinseFinanceNền tảng cho vay tiền điện tử bị thu gọn C đã thông báo rằng họ sẽ rút số Ethereum trị giá 1,6 tỷ USD mà trước đây họ đã đặt cọc trên chuỗi.
JinseFinanceThị trường NFT dường như đang nổi lên sau một mùa đông kéo dài, được đánh dấu bằng sự gia tăng đáng kể về doanh số, số lượng giao dịch và lợi nhuận của nhà giao dịch. Hiệu suất ấn tượng của Bitcoin và Solana góp phần vào sự hồi sinh này, mang lại hy vọng về xu hướng tăng giá trong lĩnh vực NFT.
Cheng YuanJinseFinancePaolo Ardoino, CTO tại Tether, đã nhận thấy mình bị cuốn vào cuộc chiến giải quyết một loạt các suy đoán xoay quanh hình ảnh các container công nghiệp cỡ lớn đang lan truyền trên mạng. Nó bắt đầu từ một bức ảnh anh ấy đã công bố vào ngày 24 tháng 8. Mặc dù ý định của anh ấy là cung cấp thông tin chi tiết nhưng anh ấy vẫn giữ lập trường kiên định trong việc giữ lại thông tin chi tiết về vị trí chính xác - một quyết định xuất phát từ những cân nhắc tối quan trọng về an ninh.
Kikyo