Forwarded from Buidl Radio
Greetings listeners!
In this episode, we'll be talking to Toghrul Maharramov as we dive into the complex world of ZKEVM. We'll be discussing the difficulties of designing ZKEVM, the spectrum of Zk-rollups, other exciting use cases for zero-knowledge, time lock encryption, and much more. Join us as we explore the cutting edge of blockchain technology and its limitless potential. Let's get started!
https://www.youtube.com/watch?v=nMIzmjvbcVw
Audio verison:
https://anchor.fm/buidlradio/episodes/Rollups--ZkEVM-and-Sharding-with-Toghrul-Maharramov-Scroll--Buidl-Radio-3-e1u7i9e
In this episode, we'll be talking to Toghrul Maharramov as we dive into the complex world of ZKEVM. We'll be discussing the difficulties of designing ZKEVM, the spectrum of Zk-rollups, other exciting use cases for zero-knowledge, time lock encryption, and much more. Join us as we explore the cutting edge of blockchain technology and its limitless potential. Let's get started!
https://www.youtube.com/watch?v=nMIzmjvbcVw
Audio verison:
https://anchor.fm/buidlradio/episodes/Rollups--ZkEVM-and-Sharding-with-Toghrul-Maharramov-Scroll--Buidl-Radio-3-e1u7i9e
YouTube
Rollups, ZkEVM and Sharding with Toghrul Maharramov (Scroll) | Buidl Radio #3
Welcome to this episode of Buidl Radio, where we dive into the complex world of Zero Knowledge Proofs. Join us as we welcome special guest Toghrul Maharramov to discuss the difficulties of designing ZKEVM, the spectrum of Zk-rollups, other exciting use cases…
⚡1🔥1🕊1
Torus — An open source, non-custodial key management network
A non-custodial, distributed and open source key management network. Similar to how Auth0, Cognito or Firebase provides auth infrastructure in Web2, the Torus Network powers auth and key management solutions like Web3Auth for Web3.
🔗 How Torus Works
#auth
A non-custodial, distributed and open source key management network. Similar to how Auth0, Cognito or Firebase provides auth infrastructure in Web2, the Torus Network powers auth and key management solutions like Web3Auth for Web3.
#auth
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Buidl Radio
The new episode about Ethereum MPC Ceremony is out! Ignacio Hagopian created go-kzg-ceremony-client for MPC Ceremony for generating Trusted Setup for KZG Commitment. We discuss Protodanksharding, Security aspects of MPC Ceremony. Listen to our new episode and participate in Ceremony until 13 Mar.
https://www.youtube.com/watch?v=r78cYgaT9I0
Audio version:
https://anchor.fm/buidlradio/episodes/Ethereum-KZG-Ceremony-with-Ignacio-Hagopian-go-kzg-ceremony-client--Buidl-Radio-5-e1vl8r3
https://www.youtube.com/watch?v=r78cYgaT9I0
Audio version:
https://anchor.fm/buidlradio/episodes/Ethereum-KZG-Ceremony-with-Ignacio-Hagopian-go-kzg-ceremony-client--Buidl-Radio-5-e1vl8r3
YouTube
Ethereum KZG Ceremony with Ignacio Hagopian (go-kzg-ceremony-client) | Buidl Radio #5
In the new episode, we discuss MPC Ceremony for generating Trusted Setup for Kate Polinomial Commitment in Ethereum. Our guest is Ignacio Hagopian, go-kzg-ceremony-client developer. If want to know more about MCP Ceremony, Protodanksharding just checkout…
Forwarded from Ever Incubator
DeVote — the first voting application providing true anonymity and verifiability of results
Project presentation, application demo and AMA session
⚪️ What product does DeVote offer?
⚪️ What is under the hood?
⚪️ What are the roadmap and fundraising plans?
📅 10 March |17:00 UTC
🗺 Place: discord.gg/w3voice
👥 Speakers: Eugene Morozov, Alexander Zvezdin
👨🦰 Host: Ben Bateman
To make sure you don't miss it, go to the link and click Interesting🔔
Project presentation, application demo and AMA session
To make sure you don't miss it, go to the link and click Interesting
Please open Telegram to view this post
VIEW IN TELEGRAM
Sumanth: Statistics is essential for Data Science and the best way you can learn is by Visualizing concepts
"Seeing Theory" will teach you everything from Statistics to Probability and much more with interactive visuals!
Check this out:
- seeing-theory.brown.edu
- github.com/seeingtheory/Seeing-Theory
#SeeingTheory
"Seeing Theory" will teach you everything from Statistics to Probability and much more with interactive visuals!
Check this out:
- seeing-theory.brown.edu
- github.com/seeingtheory/Seeing-Theory
#SeeingTheory
MOOC: Zero Knowledge Proofs
🔗 zk-learning.org
📼 youtube.com/watch?v=uchjTIlPzFo&list=PLS01nW3Rtgor_yJmQsGBZAg5XM4TSGpPs
#ZeroKnowledge #Course
#ZeroKnowledge #Course
Please open Telegram to view this post
VIEW IN TELEGRAM
This ZKP / Web3 Hackathon
🔗 zk-hacking.org
The hackathon is designed to have 4 tracks:
- zk-Applications track: any developer can build and showcase innovative applications using ZKP in diverse domains.
- zkBridge track: building a secure, universal foundation for multichain interoperability using ZKP through decentralized community collaboration.
- zk-Circuits track: optimizing and improving commonly used circuits through decentralized community collaboration.
- zk-Benchmarks track: building a unified framework for benchmarking ZKPs, with standardized interfaces for integrating different components, ZKP frameworks, and workloads, enabling anyone to contribute to advance the understanding and improvement in ZKP performance in practice.
TIMELINE
🗓 March 1 — Begin ZKP Hackathon; Participant Sign up Open
🗓 March 12 — Team/Track Sign Up
🗓 April 4 — Mid-hackathon Progress Check-in
🗓 April 21 — Submission 1st round Deadline
🗓 April 25 — Announcement of final demo participants
🗓 May 2 — Submission demos, Winner announcement & Closing event
#Hackathon #ZeroKnowledge
The hackathon is designed to have 4 tracks:
- zk-Applications track: any developer can build and showcase innovative applications using ZKP in diverse domains.
- zkBridge track: building a secure, universal foundation for multichain interoperability using ZKP through decentralized community collaboration.
- zk-Circuits track: optimizing and improving commonly used circuits through decentralized community collaboration.
- zk-Benchmarks track: building a unified framework for benchmarking ZKPs, with standardized interfaces for integrating different components, ZKP frameworks, and workloads, enabling anyone to contribute to advance the understanding and improvement in ZKP performance in practice.
TIMELINE
#Hackathon #ZeroKnowledge
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Ever Incubator
Пятница 24 Марта 20:00 UTC+3 📅
Место: discord.gg/w3voice🗺
Pruvendo: Формальная верификация на примере контракта мульти-подписи (Multisig)
👨🦰 Спикер: Сергей Егоров
Co Founder Pruvendo
План презентации
◽️ Введение в формальную верификацию
◽️ Multisig - история успеха
◽️ Техническое погружение
👥 Ведущие: Ilyar, glazlk
Чтобы не пропустить его, перейдите по ссылке и нажмите Интересно🔔
Место: discord.gg/w3voice
Pruvendo: Формальная верификация на примере контракта мульти-подписи (Multisig)
Co Founder Pruvendo
План презентации
Чтобы не пропустить его, перейдите по ссылке и нажмите Интересно
Please open Telegram to view this post
VIEW IN TELEGRAM
👍2🔥1🕊1
Школьный уровень
* Введение в основы квантовой физики, логики, информатики
* Олимпиады, кружки, STEM-программы
* Проекты вроде Quantum for High Schoolers (IBM, Microsoft Q# programs)
Бакалавриат
* Специализации в физике, информатике, прикладной математике
* Курс по «основам квантовой механики», алгоритмам, линейной алгебре, теории информации
* Некоторые университеты уже предлагают вводные курсы по Quantum Computing
#quantum
Магистратура и аспирантура
* Узкоспециализированные программы: квантовая информация, квантовые технологии, квантовая инженерия
* Междисциплинарные подходы (физика + CS + электроника)
* Совместные программы университетов с индустрией (IBM Q Network, Google Quantum AI Campus Program)
Дополнительное образование
* Онлайн-курсы (edX, Coursera, Qiskit, Braket, QuTiP)
* Bootcamp-программы и стажировки
* Сертификация от крупных вендоров (IBM, Microsoft, Rigetti, D-Wave)
Международные проекты и программы обучения
* IBM Quantum Educators Program – обучение преподавателей и студентов
* Quantum Open Source Foundation (QOSF) – менторские программы
* European Quantum Flagship – поддержка 5000+ исследователей
* NSF Quantum Leap (США) – федеральное финансирование магистерских и PhD программ
* QTOM (Quantum Tech for Optical Materials) – академические консорциумы
Курсы онлайн
* Qiskit Textbook (IBM) Бесплатный интерактивный онлайн-учебник от IBM, охватывает основы квантовых вычислений и работу с библиотекой Qiskit
* Quantum Computing for the Determined (Michael Nielsen) Курс от Майкла Нильсена, акцент на понимание и запоминание основных понятий, глубокий, но доступный
* MIT xPro – Quantum Computing Fundamentals Платный курс от MIT для тех, кто хочет погрузиться в тему на уровне магистратуры, подразумевается знание математики
* QuEra Education Образовательные материалы и практики, связанные с нейтральными атомами и оборудованием компании QuEra
* Q-CTRL Black Opal Платформа для визуального изучения квантовых вычислений, адаптированная под новичков и инженеров
- С помощью курсов и учебников для начинающих oт IBM Quantum (на текущий момент можно использовать до 156 кубитов)
- Кроме IBM Quantum есть и другие платформы которые у каждой различное колличесвое доступных кубитов: Amazon Braket до 256, Microsoft Azure Quantum и qBraid до 1024, Rigetti Quantum Cloud Services 84, Quantinuum 56 и D-Wave Leap 4400
#quantum
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
J1: a small Forth CPU Core for FPGAs
This paper describes a 16-bit Forth CPU core, intended for FPGAs. The instruction set closely matches the Forth programming language, simplifying cross-compilation. Because it has higher throughput than comparable CPU cores, it can stream uncompressed video over Ethernet using a simple software loop. The entire system (source Verilog, cross compiler, and TCP/IP networking code) is published under the BSD license. The core is less than 200 lines of Verilog, and operates reliably at 80 MHz in a Xilinx SpartanR -3E FPGA, delivering approximately 100 ANS Forth MIPS.
https://excamera.com/files/j1.pdf
This paper describes a 16-bit Forth CPU core, intended for FPGAs. The instruction set closely matches the Forth programming language, simplifying cross-compilation. Because it has higher throughput than comparable CPU cores, it can stream uncompressed video over Ethernet using a simple software loop. The entire system (source Verilog, cross compiler, and TCP/IP networking code) is published under the BSD license. The core is less than 200 lines of Verilog, and operates reliably at 80 MHz in a Xilinx SpartanR -3E FPGA, delivering approximately 100 ANS Forth MIPS.
https://excamera.com/files/j1.pdf
👍2
Topological Data Analysis over t-SNE or UMAP
🌕 Discuss the advantages of Topological Data Analysis, coupled with self-supervised learning
🌕 Cover different case studies: Internet of Things (IoT), Image analysis, Text analysis
🌕 Highlighting useful open-source libraries to start with TDA
The problem
Have you tried to run a complex supervised machine learning model, only to find unexpected patterns and inconsistencies that make your results unreliable? It's a common problem that can leave even the most experienced data scientists scratching their heads. But fear not! There's a new kid on the block that can help you uncover the hidden structure of your data: topological data analysis (TDA). We'll compare TDA with the popular t-SNE and UMAP packages and show you why TDA is the superhero of data analysis, capable of revealing the unexpected and saving the day.
🔗 datarefiner.com/feed/why-tda
The problem
Have you tried to run a complex supervised machine learning model, only to find unexpected patterns and inconsistencies that make your results unreliable? It's a common problem that can leave even the most experienced data scientists scratching their heads. But fear not! There's a new kid on the block that can help you uncover the hidden structure of your data: topological data analysis (TDA). We'll compare TDA with the popular t-SNE and UMAP packages and show you why TDA is the superhero of data analysis, capable of revealing the unexpected and saving the day.
Please open Telegram to view this post
VIEW IN TELEGRAM
We evaluated the March and June 2023 updates of GPT-3.5 and GPT-4 on math, sensitive questions, code generation, and visual reasoning. Results varied significantly: GPT-4's prime number identification dropped from 97.6% to 2.4%, while GPT-3.5 improved. GPT-4 became less responsive to sensitive questions, and both models showed increased code generation errors. These changes emphasize the need for constant LLM quality monitoring.
🔗 arxiv.org/pdf/2307.09009.pdf
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Code Llama - another step towards AI programmers
Meta has introduced Code Llama today, a model that promises to become a new milestone in the world of programming. It has been created to expedite and simplify the development process for programmers and assist beginners.
🌕 An open and free model, based on the Llama 2 platform.
🌕 Three versions: basic, for Python, and with an emphasis on executing instructions.
🌕 Outperformed other well-known LLMs in tests.
Meta hopes that their new tool will spur innovations in the programming field and provide assistance to the entire developer community.
🔗 github.com/facebookresearch/codellama
Meta has introduced Code Llama today, a model that promises to become a new milestone in the world of programming. It has been created to expedite and simplify the development process for programmers and assist beginners.
Meta hopes that their new tool will spur innovations in the programming field and provide assistance to the entire developer community.
Please open Telegram to view this post
VIEW IN TELEGRAM