zkVM & nnyinaso nhyehyɛe a wɔde adanse ma a wɔmmɛda nsɛm a wɔredi ho adanse no adi, a wɔayɛ no sɛnea wohia
Engineering adwuma a wɔapawMfiridwuma mu adwuma a wɔapaw na wɔadi ho adanse, a ɛfa akontaabu a egyina Rust so na wotumi di ne pɛpɛɛpɛyɛ ho adanse, kɔmputa dwumadi a ɛbɔ kokoam nsɛm ho ban, ne zkVM nhyehyɛe a dwumadi gyina so ho.
Nsɛm a ɛfa ho
Adwuma ano ahyeɛ no bata ZK-native mfiri a ɛnyɛ honam, execution traces, AIR constraints, Plonky3-based STARK adanseɛ, ne distributed systems fã ahorow ho.
Ɔhaw anaa botae
Yɛ fapem a wɔde yɛ kɔmputa a wotumi si mu pi ne ɔkwan a ɛbɔ kokoamsɛm ho ban, a public input, state, transaction ne validation hyeɛ wɔ mu pefee.
Nhyehyɛe a wɔde ama
- Nkontaabu a wɔde Rust yɛ a wɔtumi hwehwɛ mu
- Dwumadi a ɛkora kokoamsɛm so
- ZK-native mfiri a ɛnyɛ honam
- Ahyɛdeɛ kuw (instruction-set) adansi nhyehyɛe
- Adwumayɛ akwan ho nkyerɛwee (execution traces)
- AIR anohyeto ahorow
- Plonky3-based STARK adanseɛ
- Nsɛm a wɔde hyɛ mu a obiara betumi ahu no ho nkyekyere
- Akwan a wɔfa so hwɛ sɛ adanse di mu, a ɛma wɔmfa adanse a ɛnteɛ nni dwuma
- Tebea mfiri a ne nneyɛe yɛ pɔtee
- Merkle adanse
- Transactional commit ne rollback (nsakrae a wɔde si hɔ ne san-kɔ-akyi)
- RPC
- libp2p
- GossipSub
- Akwan a wɔfa so kora kɔmputa nhyehyɛeɛ no tebea ho nsɛm so
Mfiridwuma mu nimdeɛ afã
- Rust
- Akontaabu a wobetumi ahwɛ sɛ ɛteɛ
- Zero-knowledge infrastructure
- Kɔmputa nhyehyɛe a ɛyɛ adwuma wɔ mfiri ahorow so
- Tebea ne transaction ho nhyehyɛe
Nneɛma a wɔayɛ a ɛkyerɛ adwuma no mu
- ZK-native virtual-machine nhyehyɛe fapem
- Dwumadi no anammɔn ho kyerɛwtohɔ ne AIR anohyeto ahorow
- Public-input binding ne nnyinaso akwan
- Nhyehyɛe no tebea ho nsɛm a wɔakyekyɛ ne mfiri ntam nkitahodi ho afã
Nea eyi da no adi
- Akontaabu a wotumi hwɛ sɛ nea efi mu ba no yɛ pɛpɛɛpɛ ho mfiridwuma
- Adwumayɛ nhyehyɛeɛ a ɛbɔ kokoam ho ban
- Nhyehyɛe a wɔakyekyɛ mu ne tebea-masini (state machine) adwuma
Adwuma no hye ne nsɛm a wɔda no adi
Saa nsɛm tiawa yi fa mfiridwuma ho nneɛma a wɔahwɛ mu ahyɛ ho nokware no din nkutoo ho, na ɛnka sɛ ɛma awerɛhyem, ɛwɔ su a ɛfa biribiara ho, ɛde adwumayɛ mu nsunsuanso bi aba, anaa nkurɔfo agye atom de redi dwuma.
Ma sɛnea wɔde nhyehyɛe no di dwuma ho nsɛm ntra nneɛma a ɛwɔ akyi nhyehyɛe no mu a wɔahwɛ agye atom no din mu, na mfa nkitahodi mmara anaa nhyehyɛe no a wɔde bɛhyɛ adwuma ho nsɛm a wɔanka nto ho.
BilgeQor nnwuma a ɛfa eyi ho
Momma yɛnka mfiridwuma adwuma bi a ɛne eyi wɔ abusuabɔ no trɛw ho asɛm
Fa saa ɛho nhwehwɛmu yi di nkyerɛaseɛ, na ka kyerɛ yɛn ahyehyɛde, ahye, anaa adwumayɛ a wɔde bɛma ho asɛmmisa a ɛsɛ sɛ yɛhwɛ mu.
Bisa adwuma no mu nneɛma a wɔbɛyɛ wɔ nhwɛso yi hoSan kɔ mfiridwuma ho nhwɛso nsɛm no so