🔗 dorahacks.io/hackathon/abstractathon/detail

#XION #hackathon

🗓 сегодня 25 января в 16:00 CET 🎤 @EverQuorum

Гость Illya Gerasymchuk https://illya.sh/

🌕ZK: история, текущий статус, перспективы
🌕Как и какие блокчейны L1, L2 используют ZK
🌕Проект zkLocus: Private Geolocation Off & On-Chain - история, текущий статус, планы
🌕На встрече будем планировать воркшоп на протоколе Mina и где-то еще где это возможно, который состоится на следующей встрече

Четверг 15 февраля 12:00 UTC+3
🗓 Добавить в календарь

Спикер: Andrey Lyashin
Co-Founder & CTO Pruvendo

📌 Поговорим o:
• О компании Pruvendo
• Что такое формальная верификация
• Практическое применение формальной верификации
• О возможностях языка Ursus и планах развития

Перейдите по ссылке и нажмите на 🔔 чтобы не пропустить

Обсудить можно в нашем чате 💬
#Pruvendo #Ursus #AMA

The Pessimistic Junior Program

Pessimistic are excited to announce the launch of our unique training program - Pessimistic Junior! As a company engaged in Solidity contract auditing and security in the DeFi sector, we are ready to share the rich experience we have accumulated over the last three years with the new generation of auditors.

Program Objective: To provide novice auditors with the opportunity to enhance their qualifications, receive valuable feedback from our team's experienced professionals, and possibly join us on a permanent basis.

What Awaits You?

- Immersion in the world of DeFi projects, learning about fundamental security patterns and Solidity.
- Working with the real tools and processes used by our team.
- The opportunity to write a report on a training project that simulates real working conditions.

Program Stages:

1. Filling out the application form. The initial stage where you will be asked to answer general questions and complete four simple tasks.
2. Two-week task-solving stage. You will solve tasks prepared by our team to demonstrate your skills and knowledge.
3. Technical interview and offer. The best candidates will be invited for a technical interview, after which a training offer may be extended.
4. Three-month paid internship. At this stage, you will work in pairs with other interns, practice on real audits, participate in research, and get acquainted with our team's internal processes.

How to Participate?

Unfortunately, applications for the current cycle have already closed, but we invite you to apply to participate in the third round of the program!

We also invite you to take part in the problem-solving contest. Send your solutions to junior@pessimistic.io, and the best entries will be published and discussed. Participants with the best solutions will be invited to participate in the next cycle of Pessimistic Junior!

🔗 medium.com/p/de0fcc4f4097

#Security #CodeReview #Internships

У нас новая АМА-сессия!

В этот раз к нам придет Андрей Ляшин, ко-фаундер и CTO Pruvendo!🔒

Имея 10-летний опыт создания и руководства инновационными проектами, Андрей расскажет, как применять знания физики и математики в области разработки и обеспечения безопасности смарт-контрактов.

Обсудим тестирование, аудит и формальную верификацию:
— Какая разница между данные методами
— За и против
— Принципы работы формальной верификации
— Сочетание формальной верификации с другими методами проверки
— Проблемы
— Можно ли стать Formal Verification Engineer без специального образования

Стрим пройдет в нашем Телеграм-канале 14 марта в 17-00 МСК.
Добавить в календарь. Задать вопрос.

Guide DAO Канал | Чат | YouTube | X | Сайт

The tools and graphical data pointed by this page are included in the research paper "Energy Efficiency across Programming Languages: How does Energy, Time and Memory Relate?", accepted at the International Conference on Software Language Engineering (SLE) - Rui Pereira, Marco Couto, Francisco Ribeiro, Rui Rua, Jácome Cunha, João Paulo Fernandes, and João Saraiva

🔗 sites.google.com/view/energy-efficiency-languages/

🔗 github.com/worldcoin/orb-software

#identity

Присоединяйтесь к встрече AMA с Layer2State!

🗓 Дата и время: 2 Мая 20:00 UTC+3
Добавте в каледарь

👤 Спикер: Michael Chobanian
Основатель KUNA.Family

📌 Поговорим o:
• Что такое Layer2State
• Рассмотрим текущий статус проекта, уделив внимание тому, как можно участвовать
• Заглянув в будущее, подумаем о том, как будут развиваться публичные блокчейны и какое будет их применение

Перейдите по ссылке и нажмите на 🔔 чтобы не пропустить

Обсудить можно в чате Network state 🌐

#NetworkState #Layer2State #AMA

ZKMultisig is a Circom + Solidity protocol that allows collective multisig decisions to be made privately, without disclosing anything about its participants. This is achieved through clever Sparse Merkle Tree (SMT) accounting that is verified in ZK. To maintain anonymity, a special deterministic Key Derivation Function (KDF) is used to create babyJubJub accounts from users' Ethereum wallets that partake in the dapp.

We tried to make things simple and relatively easy to implement (PoC is in progress). The solution is scalable to thousands of participants per wallet. Generic SDK will allow any front end to seamlessly plug it in and start serving through the custom UI.


🔗 Co-authored ZK Multisig Wallet paper, private collective decisions unleashed

@solarity/solidity-lib/libs/data-structures/SparseMerkleTree.sol

#zk #multisig #ethereum

🔗 freecodecamp.org/learn/a2-english-for-developers/

In this English for Developers Curriculum, you'll learn the essentials of English communication. This will follow the A2 level of the Common European Framework of Reference (CEFR). And we've focused on vocabulary that is particularly useful for developers.

#CEFR #Course

🔗 classroom.google.com/c/NzAxMzMyMzIzMTcz?cjc=qzy2bbl

3️⃣ Еженедельный войс каждую Пятницу
Пройдёт в Web 3Voice сегодня в 19:00!

👤 Специальный гость: Mitja Goroshevsky CEO, Co-founder at 💻 Gosh, Everscale architect и соавтор нового блокчейн консенсуса Acki Nacki!

Блокчейн Acki Nacki находится на стадии запуска и сейчас идёт первая фаза которая заключается в том что бы собрать как можно больший кофецент умножения (X Boost).

Во второй фазе будет запушена игра, где вы сможете валидировать сеть генерирую случайные числа и получать за это вознаграждения.

Передйтее по ссылке mini app Acki Nacki что бы начать фармить X Boost и приумножать свой доход в майнинге 🙂

#Fryday #w3voice #AckiNacki $NACKL

3️⃣ Еженедельный войс каждую Пятницу
Пройдёт в Web3 Voice сегодня в 19:00!

👤 Специальный гость; Игорь Степахин — продуктовый дизайнер, создатель The Grand Timeline, в прошлом head of product design Gelato Network

The Grand Timeline — историческое исследование и визуализация данных обо всей истории крипто в виде таймлайна

#Fryday #w3voice #TheGrandTimeline

3️⃣ Еженедельный войс каждую Пятницу
Пройдёт в Web3 Voice сегодня в 19:00!

👤 Специальный гость: Михаил Чобанян — основатель KUNA.Family и проекта Layer2State

Обсуждаем концепцию Network State и текущий статус проекта Layer2State

#Fryday #w3voice #Layer2State #NetworkState

3️⃣ Еженедельный войс каждую Пятницу
Пройдёт в Web3 Voice сегодня в 19:00 GMT+3

👤 Специальный гость: Ilya Evdokimov — CEO проекта SatsBridge & @hypecoinnews

📌 Поговорим o Proof-of-Work:
• Что это такое и зачем он нужен
• Зачем нужна субсидия майнерам
• Что такое «Рынок комиссий» и будущее Биткоина

🖋 Манифест Сообщества Web3 Voice

#RGBProtocol #Bitcoin #OffChain #w3voice

today at 20:00 CET October 28, 2024 🎤 livestream 🔔

EasyCrypt is an interactive framework for verifying cryptographic security in the computational model, it uses a code-based approach, modeling security goals and assumptions as probabilistic programs with adversarial code, applying program verification tools to rigorously justify cryptographic reasoning, is part of the Formosa project

🎓 Usecase
- Pedersen Commitment Protocol 🐱 Pedersen.ec
- Saber's Public-Key Encryption Scheme 🐱 source
- Formalization of Zero-Knowledge Protocols

📱 Resources
- Repositories by Denis Firsov, PhD
- Other papers on arXiv
- Repositories on GitHub

#formalVerification #cryptography #commitment #formosa #zk