Могу в принципе про это рассказать быстренько

Нууу, навряд это много кому будет интересно, но точно будет интересно мне, так что го

Предлагаю отменить сходку в это воскресенье, т.к. что-то у меня мало сейчас времени, а ничего интересного в этот раз вроде не ожидается

(релиз раста был, но в нем тоже вродь ничего интересного)

Надо тогда на митапе отменить, наверное

отменил

:(

Я начал писать WASM 2 LLVM IR lift вместе с/под руководством/для) @pepyakin могу рассказать че то :)

А кто из Питера полетит на RustFest в Барсу? :)

Расскажи через 2 недели, офигенно

👍

Привет! Меня зовут Серёжа, я работаю в Web3 Foundation. Мы в тесном сотрудничестве с Parity (это Ethereum нода на расте, например, наверное, знаете) работаем над Polkadot. Не важно, но это такой очередной блокчейн. Я слышал у вас был Олег Андреев, рассказывал, наверное, про реализацию Буллетпруфов на расте. А я как раз занимаюсь разными пруфами для Польки. Если было интересно, могу попробовать рассказать что-нибудь другое из этой области. Единственное, я не настоящий программист. Могу разве что показать, как программировать R1CS для https://github.com/zkcrypto/bellman. Это прувинг система (Groth16), которую использует zcash. Она немного отличается от Буллетпруфов. В первую очередь, тем, что даёт очень короткие (константа для любого вычисления) доказательства. Я в Питере до конца октября, так что если кому-то интересно, могу подготовить какой-нибудь рассказ.

Привет, Серёжа!
🔥
Ты в Швейцарии работаешь в веб3?

> я не настоящий программист

((

Как-то так. Только пока не уверен, что в Швейцарии.

@pepyakin Привет, коллега. Спасибо за шишку

Может толк про польку? :) Много команд чето билдят на ней

А чтобы въехать в твой рассказ про R1CS какие реквайременты? Что уже нужно будет знать?

Я бы с удовольствием. Только я не очень много про Польку знаю и на Субстрате программировать не умею. Для этого можно легко выцепить кого-нибудь из Парити.

Но это зависит. Буллетпруфы тоже используют R1CS для арифметизации. Олег рассказывал что-нибудь? С одной стороны не нужно знать ничего вообще. R1CS — достаточно низкоуровневый язык. В нём одна инструкция вида (a1*x1 + ... + an*xn)*(b1*x1 + ... + bn*xn) = (c1*x1 + ... + cn*xn). Чтобы на этом программировать надо только знать сколько-то там алгебры. Как по мне это достаточно интересно, с другой стороны очень нишево. Хотя если кто-то хочет реализовать свой zkp, будет полезно знать про базовые алгебраические примитивы. Хеши, эллиптическую криптографию